Anne is blue. Anne is not cold. Anne is kind. Anne is rough. Anne is smart. Harry is big. Harry is cold. Harry is nice. Harry is rough. Harry is not smart. If Harry is big and Harry is kind then Harry is nice. Nice things are rough. If something is rough then it is kind.
Anne is not nice.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple3 OR ((triple4) -> rule3))] Anne is not cold.[(triple2)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] Harry is nice.[(triple8 OR ((triple6 ((triple9) -> rule3)) -> rule1))] Harry is not smart.[(triple10)] Harry is rough.[(triple9 OR ((triple8) -> rule2))] @1: Harry is kind.[(((triple9) -> rule3) OR ((((triple8) -> rule2)) -> rule3))]