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