Harry is big. Harry is furry. Harry is kind. Harry is round. Harry is smart. Harry is white. Harry is young. If someone is big and white then they are round.
Harry is white.
@0: Harry is big.[(triple1)] Harry is furry.[(triple2)] Harry is kind.[(triple3)] Harry is round.[(triple4 OR ((triple1 triple6) -> rule1))] Harry is smart.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]