Harry is big. Harry is cold. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is white. All round people are nice. If Harry is not rough then Harry is not big. Big, cold people are round.
Harry is not rough.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is nice.[(triple3 OR ((triple6) -> rule1) OR ((((triple1 triple2) -> rule3)) -> rule1))] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6 OR ((triple1 triple2) -> rule3))] Harry is white.[(triple7)]