Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is smart. If Harry is rough then Harry is nice.
Harry is not nice.
@0: Harry is green.[(triple1)] Harry is kind.[(triple2)] Harry is nice.[(triple3 OR ((triple5) -> rule1))] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)]