Anne is blue. Anne is cold. Anne is kind. Anne is quiet. Anne is young. Gary is blue. Gary is cold. Gary is kind. Gary is smart. Harry is quiet. Harry is red. Harry is smart. All red people are blue. If Anne is young then Anne is smart. If someone is young and quiet then they are blue.
Anne is not cold.
@0: Anne is blue.[(triple1 OR ((triple5 triple4) -> rule3))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is young.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] Gary is kind.[(triple8)] Gary is smart.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12)] @1: Anne is smart.[(((triple5) -> rule2))] Harry is blue.[(((triple11) -> rule1))]