Harry is big. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is young. If Harry is green and Harry is rough then Harry is red. If something is green then it is red. If Harry is green then Harry is rough.
Harry is not green.
@0: Harry is big.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is red.[(triple4 OR ((triple2) -> rule2) OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple2) -> rule3)) -> rule1))] Harry is rough.[(triple5 OR ((triple2) -> rule3))] Harry is round.[(triple6)] Harry is young.[(triple7)]