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 red.
@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)]