Anne is green. Anne is nice. Anne is white. Charlie is cold. Charlie is round. Gary is blue. Gary is cold. Gary is nice. Gary is round. Gary is white. Round things are green. If Charlie is white then Charlie is smart. All smart things are blue. All nice things are smart. Cold, round things are green. If something is white and blue then it is round.
Anne is not round.
@0: Anne is green.[(triple1 OR ((((triple3 ((((triple2) -> rule4)) -> rule3)) -> rule6)) -> rule1))] Anne is nice.[(triple2)] Anne is white.[(triple3)] Charlie is cold.[(triple4)] Charlie is round.[(triple5)] Gary is blue.[(triple6 OR ((((triple8) -> rule4)) -> rule3))] Gary is cold.[(triple7)] Gary is nice.[(triple8)] Gary is round.[(triple9 OR ((triple10 triple6) -> rule6) OR ((triple10 ((((triple8) -> rule4)) -> rule3)) -> rule6))] Gary is white.[(triple10)] @1: Anne is smart.[(((triple2) -> rule4))] Charlie is green.[(((triple5) -> rule1) OR ((triple4 triple5) -> rule5))] Gary is green.[(((triple9) -> rule1) OR ((triple7 triple9) -> rule5) OR ((((triple10 triple6) -> rule6)) -> rule1) OR ((triple7 ((triple10 triple6) -> rule6)) -> rule5) OR ((((triple10 ((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule1) OR ((triple7 ((triple10 ((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule5))] Gary is smart.[(((triple8) -> rule4))] @2: Anne is blue.[(((((triple2) -> rule4)) -> rule3))] @3: Anne is round.[(((triple3 ((((triple2) -> rule4)) -> rule3)) -> rule6))]