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