Anne is blue. Anne is nice. Anne is smart. Anne is white. Erin is smart. Gary is cold. Harry is blue. Harry is green. Harry is not nice. Harry is quiet. If someone is quiet and blue then they are cold. All blue people are cold. If Anne is quiet then Anne is green. If Erin is quiet and Erin is not smart then Erin is blue. If Harry is quiet and Harry is green then Harry is not smart. All blue, smart people are white. If someone is quiet and not blue then they are green. Nice, cold people are green.
Gary is smart.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4 OR ((triple1 triple3) -> rule6))] Erin is smart.[(triple5)] Gary is cold.[(triple6)] Harry is blue.[(triple7)] Harry is green.[(triple8)] Harry is not nice.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is cold.[(((triple1) -> rule2))] Harry is cold.[(((triple7) -> rule2) OR ((triple10 triple7) -> rule1))] Harry is not smart.[(((triple10 triple8) -> rule5))] @2: Anne is green.[(((triple2 ((triple1) -> rule2)) -> rule8))]