Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Charlie is cold. Charlie is nice. Charlie is smart. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Harry is cold. If something is smart and quiet then it is nice. If something is kind then it is smart. If Harry is nice and Harry is red then Harry is smart. All red, quiet things are nice. All kind things are cold. Kind things are smart. All kind, green things are red. All quiet, red things are smart.
Erin is not cold.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule5))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple6 triple5) -> rule4) OR ((triple7 triple5) -> rule1) OR ((((triple3) -> rule2) triple5) -> rule1) OR ((((triple3) -> rule6) triple5) -> rule1) OR ((((triple3 triple2) -> rule7) triple5) -> rule4) OR ((((triple5 triple6) -> rule8) triple5) -> rule1) OR ((((triple5 ((triple3 triple2) -> rule7)) -> rule8) triple5) -> rule1))] Anne is quiet.[(triple5)] Anne is red.[(triple6 OR ((triple3 triple2) -> rule7))] Anne is smart.[(triple7 OR ((triple3) -> rule2) OR ((triple3) -> rule6) OR ((triple5 triple6) -> rule8) OR ((triple5 ((triple3 triple2) -> rule7)) -> rule8))] Charlie is cold.[(triple8)] Charlie is nice.[(triple9)] Charlie is smart.[(triple10)] Erin is kind.[(triple11)] Erin is nice.[(triple12 OR ((triple14 triple13) -> rule1) OR ((((triple11) -> rule2) triple13) -> rule1) OR ((((triple11) -> rule6) triple13) -> rule1))] Erin is quiet.[(triple13)] Erin is smart.[(triple14 OR ((triple11) -> rule2) OR ((triple11) -> rule6))] Harry is cold.[(triple15)] @1: Erin is cold.[(((triple11) -> rule5))]