Harry is big. Harry is furry. Harry is green. Harry is red. Harry is rough. Harry is white. Harry is young. All red, green people are rough. All young, white people are red.
Harry is not green.
@0: Harry is big.[(triple1)] Harry is furry.[(triple2)] Harry is green.[(triple3)] Harry is red.[(triple4 OR ((triple7 triple6) -> rule2))] Harry is rough.[(triple5 OR ((triple4 triple3) -> rule1) OR ((((triple7 triple6) -> rule2) triple3) -> rule1))] Harry is white.[(triple6)] Harry is young.[(triple7)]