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