Harry is big. Harry is not blue. Harry is green. Harry is kind. Harry is red. Harry is round. Harry is white. White, kind things are big.
Harry is blue.
@0: Harry is big.[(triple1 OR ((triple7 triple4) -> rule1))] Harry is green.[(triple3)] Harry is kind.[(triple4)] Harry is not blue.[(triple2)] Harry is red.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)]