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