Harry is big. Harry is green. Harry is kind. Harry is round. Harry is smart. Harry is white. Harry is young. If someone is smart then they are big. White people are big. All white, kind people are big.
Harry is not kind.
@0: Harry is big.[(triple1 OR ((triple5) -> rule1) OR ((triple6) -> rule2) OR ((triple6 triple3) -> rule3))] Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is round.[(triple4)] Harry is smart.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]