theorem model1.statements_are_contradictory
theorem model1.statements_are_contradictory
(sam_statement : SamStatement)
(friend_statement : FriendStatement)
: False