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