Harry is cold. Harry is kind. Harry is nice. If Harry is rough and Harry is blue then Harry is nice. If something is red then it is cold. Green things are kind. Rough, nice things are cold. If something is cold and kind then it is blue. If Harry is rough then Harry is red. All cold, kind things are rough. If something is red then it is cold.
Harry is red.
@0: Harry is cold.[(triple1)] Harry is kind.[(triple2)] Harry is nice.[(triple3 OR ((((triple1 triple2) -> rule7) ((triple1 triple2) -> rule5)) -> rule1))] @1: Harry is blue.[(((triple1 triple2) -> rule5))] Harry is rough.[(((triple1 triple2) -> rule7))] @2: Harry is red.[(((((triple1 triple2) -> rule7)) -> rule6))]