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