Anne is big. Anne is kind. Anne is quiet. Anne is smart. Anne is white. Bob is round. Bob is smart. Bob is white. Gary is not big. Gary is kind. Gary is quiet. Gary is not red. Gary is not round. Gary is smart. Gary is white. Smart, big things are not red. Kind things are not red. If Bob is round and Bob is white then Bob is quiet.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8)] Gary is kind.[(triple10)] Gary is not big.[(triple9)] Gary is not red.[(triple12 OR ((triple10) -> rule2))] Gary is not round.[(triple13)] Gary is quiet.[(triple11)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Anne is not red.[(((triple2) -> rule2) OR ((triple4 triple1) -> rule1))] Bob is quiet.[(((triple6 triple8) -> rule3))]