Anne is green. Anne is quiet. Anne is smart. Bob is cold. Erin is white. Gary is big. Gary is cold. Gary is green. Gary is round. Gary is smart. If someone is cold and green then they are white. If someone is big then they are cold. All green people are big. All round, big people are green. If someone is smart then they are quiet. All round people are smart.
Anne is round.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule5))] Anne is smart.[(triple3)] Bob is cold.[(triple4)] Erin is white.[(triple5)] Gary is big.[(triple6 OR ((triple8) -> rule3))] Gary is cold.[(triple7 OR ((triple6) -> rule2) OR ((((triple8) -> rule3)) -> rule2))] Gary is green.[(triple8 OR ((triple9 triple6) -> rule4))] Gary is round.[(triple9)] Gary is smart.[(triple10 OR ((triple9) -> rule6))] @1: Anne is big.[(((triple1) -> rule3))] Gary is quiet.[(((triple10) -> rule5) OR ((((triple9) -> rule6)) -> rule5))] Gary is white.[(((triple7 triple8) -> rule1) OR ((triple7 ((triple9 triple6) -> rule4)) -> rule1) OR ((((triple6) -> rule2) triple8) -> rule1) OR ((((triple6) -> rule2) ((triple9 triple6) -> rule4)) -> rule1) OR ((((((triple8) -> rule3)) -> rule2) triple8) -> rule1) OR ((((((triple8) -> rule3)) -> rule2) ((triple9 triple6) -> rule4)) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule3)) -> rule2))] @3: Anne is white.[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule1))]