Anne is blue. Anne is green. Anne is quiet. Anne is round. Anne is smart. Anne is young. Gary is blue. Gary is green. Gary is quiet. Gary is round. Gary is smart. Gary is young. All young, green things are round. If something is quiet then it is smart. All young things are cold. Young, round things are smart. Smart, round things are blue. If Gary is quiet and Gary is cold then Gary is green.
Anne is not quiet.
@0: Anne is blue.[(triple1 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple6 triple2) -> rule1)) -> rule5) OR ((((triple3) -> rule2) triple4) -> rule5) OR ((((triple6 triple4) -> rule4) triple4) -> rule5) OR ((((triple3) -> rule2) ((triple6 triple2) -> rule1)) -> rule5) OR ((((triple6 triple4) -> rule4) ((triple6 triple2) -> rule1)) -> rule5) OR ((((triple6 ((triple6 triple2) -> rule1)) -> rule4) triple4) -> rule5) OR ((((triple6 ((triple6 triple2) -> rule1)) -> rule4) ((triple6 triple2) -> rule1)) -> rule5))] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4 OR ((triple6 triple2) -> rule1))] Anne is smart.[(triple5 OR ((triple3) -> rule2) OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple6 triple2) -> rule1)) -> rule4))] Anne is young.[(triple6)] Gary is blue.[(triple7 OR ((triple11 triple10) -> rule5) OR ((triple11 ((triple12 triple8) -> rule1)) -> rule5) OR ((((triple9) -> rule2) triple10) -> rule5) OR ((((triple12 triple10) -> rule4) triple10) -> rule5) OR ((((triple9) -> rule2) ((triple12 triple8) -> rule1)) -> rule5) OR ((((triple12 triple10) -> rule4) ((triple12 triple8) -> rule1)) -> rule5) OR ((((triple12 ((triple12 triple8) -> rule1)) -> rule4) triple10) -> rule5) OR ((((triple12 ((triple12 triple8) -> rule1)) -> rule4) ((triple12 triple8) -> rule1)) -> rule5) OR ((triple11 ((triple12 ((triple9 ((triple12) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((triple9) -> rule2) ((triple12 ((triple9 ((triple12) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((triple12 triple10) -> rule4) ((triple12 ((triple9 ((triple12) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((triple12 ((triple12 triple8) -> rule1)) -> rule4) ((triple12 ((triple9 ((triple12) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((triple12 ((triple12 ((triple9 ((triple12) -> rule3)) -> rule6)) -> rule1)) -> rule4) triple10) -> rule5) OR ((((triple12 ((triple12 ((triple9 ((triple12) -> rule3)) -> rule6)) -> rule1)) -> rule4) ((triple12 triple8) -> rule1)) -> rule5) OR ((((triple12 ((triple12 ((triple9 ((triple12) -> rule3)) -> rule6)) -> rule1)) -> rule4) ((triple12 ((triple9 ((triple12) -> rule3)) -> rule6)) -> rule1)) -> rule5))] Gary is green.[(triple8 OR ((triple9 ((triple12) -> rule3)) -> rule6))] Gary is quiet.[(triple9)] Gary is round.[(triple10 OR ((triple12 triple8) -> rule1) OR ((triple12 ((triple9 ((triple12) -> rule3)) -> rule6)) -> rule1))] Gary is smart.[(triple11 OR ((triple9) -> rule2) OR ((triple12 triple10) -> rule4) OR ((triple12 ((triple12 triple8) -> rule1)) -> rule4) OR ((triple12 ((triple12 ((triple9 ((triple12) -> rule3)) -> rule6)) -> rule1)) -> rule4))] Gary is young.[(triple12)] @1: Anne is cold.[(((triple6) -> rule3))] Gary is cold.[(((triple12) -> rule3))]