Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is rough. Harry is white. Harry is young. Kind people are rough. If someone is kind then they are big. Young people are big.
Harry is rough.
@0: Harry is big.[(triple1 OR ((triple4) -> rule2) OR ((triple7) -> rule3))] Harry is furry.[(triple2)] Harry is green.[(triple3)] Harry is kind.[(triple4)] Harry is rough.[(triple5 OR ((triple4) -> rule1))] Harry is white.[(triple6)] Harry is young.[(triple7)]