Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is white. Nice, rough people are kind. If Harry is round then Harry is cold. Rough people are furry.
Harry is not cold.
@0: Harry is cold.[(triple1 OR ((triple6) -> rule2))] Harry is furry.[(triple2 OR ((triple5) -> rule3))] Harry is kind.[(triple3 OR ((triple4 triple5) -> rule1))] Harry is nice.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)]