Harry is big. Harry is nice. Harry is smart. If something is cold and not smart then it is blue. All quiet things are blue. If something is big then it is cold. If Harry is kind and Harry is cold then Harry is nice. If Harry is quiet then Harry is nice. If something is blue then it is kind. If Harry is smart and Harry is nice then Harry is quiet. If something is smart then it is quiet.
Harry is kind.
@0: Harry is big.[(triple1)] Harry is nice.[(triple2 OR ((((triple3) -> rule8)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule6) ((triple1) -> rule3)) -> rule4))] Harry is smart.[(triple3)] @1: Harry is cold.[(((triple1) -> rule3))] Harry is quiet.[(((triple3) -> rule8) OR ((triple3 triple2) -> rule7))] @2: Harry is blue.[(((((triple3) -> rule8)) -> rule2) OR ((((triple3 triple2) -> rule7)) -> rule2))] @3: Harry is kind.[(((((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((triple3 triple2) -> rule7)) -> rule2)) -> rule6))]