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