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