Anne is blue. Anne is cold. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Harry is blue. Harry is cold. Harry is quiet. Harry is red. Harry is smart. If someone is green then they are smart. If someone is cold and quiet then they are green. If someone is green and blue then they are quiet. Blue, quiet people are rough. Rough, cold people are smart. Red, cold people are smart.
Harry is not smart.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple2 triple4) -> rule2))] Anne is quiet.[(triple4 OR ((triple3 triple1) -> rule3))] Anne is red.[(triple5)] Anne is rough.[(triple6 OR ((triple1 triple4) -> rule4) OR ((triple1 ((triple3 triple1) -> rule3)) -> rule4))] Anne is smart.[(triple7 OR ((triple3) -> rule1) OR ((triple5 triple2) -> rule6) OR ((triple6 triple2) -> rule5) OR ((((triple2 triple4) -> rule2)) -> rule1) OR ((((triple1 triple4) -> rule4) triple2) -> rule5) OR ((((triple1 ((triple3 triple1) -> rule3)) -> rule4) triple2) -> rule5))] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12 OR ((triple11 triple9) -> rule6) OR ((((triple9 triple10) -> rule2)) -> rule1) OR ((((triple8 triple10) -> rule4) triple9) -> rule5))] @1: Harry is green.[(((triple9 triple10) -> rule2))] Harry is rough.[(((triple8 triple10) -> rule4))]