Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is rough. Harry is white. If someone is big then they are white. All white, blue people are big.
Harry is blue.
@0: Harry is big.[(triple1 OR ((triple7 triple2) -> rule2))] Harry is blue.[(triple2)] Harry is furry.[(triple3)] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7 OR ((triple1) -> rule1))]