Gary is big. Gary is nice. Gary is quiet. Gary is red. Gary is not round. Gary is smart. Gary is not white. Harry is big. Harry is not nice. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is white. If Gary is white then Gary is smart. White, nice people are big. All big, white people are round. If Harry is red then Harry is big. If someone is nice and not smart then they are not red. If Gary is round and Gary is smart then Gary is nice.
Harry is not round.
@0: Gary is big.[(triple1)] Gary is nice.[(triple2)] Gary is not round.[(triple5)] Gary is not white.[(triple7)] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is smart.[(triple6)] Harry is big.[(triple8 OR ((triple11) -> rule4))] Harry is not nice.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12 OR ((triple8 triple14) -> rule3) OR ((((triple11) -> rule4) triple14) -> rule3))] Harry is smart.[(triple13)] Harry is white.[(triple14)]