Anne is blue. Anne is red. Bob is quiet. Bob is red. Gary is blue. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Gary is young. All round, blue things are young. If Bob is young then Bob is red. If something is young and blue then it is nice. Red, smart things are round. Smart things are quiet. All blue things are smart.
Anne is not round.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Gary is blue.[(triple5)] Gary is nice.[(triple6 OR ((triple10 triple5) -> rule3) OR ((((((triple8 triple9) -> rule4) triple5) -> rule1) triple5) -> rule3) OR ((((((triple8 ((triple5) -> rule6)) -> rule4) triple5) -> rule1) triple5) -> rule3))] Gary is quiet.[(triple7 OR ((triple9) -> rule5) OR ((((triple5) -> rule6)) -> rule5))] Gary is red.[(triple8)] Gary is smart.[(triple9 OR ((triple5) -> rule6))] Gary is young.[(triple10 OR ((((triple8 triple9) -> rule4) triple5) -> rule1) OR ((((triple8 ((triple5) -> rule6)) -> rule4) triple5) -> rule1))] @1: Anne is smart.[(((triple1) -> rule6))] Gary is round.[(((triple8 triple9) -> rule4) OR ((triple8 ((triple5) -> rule6)) -> rule4))] @2: Anne is quiet.[(((((triple1) -> rule6)) -> rule5))] Anne is round.[(((triple2 ((triple1) -> rule6)) -> rule4))] @3: Anne is young.[(((((triple2 ((triple1) -> rule6)) -> rule4) triple1) -> rule1))] @4: Anne is nice.[(((((((triple2 ((triple1) -> rule6)) -> rule4) triple1) -> rule1) triple1) -> rule3))]