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