Anne is quiet. Anne is white. Erin is blue. Erin is not nice. Erin is quiet. Gary is not blue. Gary is not red. Gary is round. Gary is smart. Gary is white. Harry is nice. Harry is quiet. Harry is red. Harry is smart. Harry is white. Blue, white things are not smart. Blue, round things are red. Blue things are red. Nice, smart things are quiet. If something is blue and red then it is white. If something is quiet and not blue then it is not round.
Gary is smart.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Erin is blue.[(triple3)] Erin is not nice.[(triple4)] Erin is quiet.[(triple5)] Gary is not blue.[(triple6)] Gary is not red.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12 OR ((triple11 triple14) -> rule4))] Harry is red.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Erin is red.[(((triple3) -> rule3))] @2: Erin is white.[(((triple3 ((triple3) -> rule3)) -> rule5))] @3: Erin is not smart.[(((triple3 ((triple3 ((triple3) -> rule3)) -> rule5)) -> rule1))]