Harry is big. Harry is furry. Harry is kind. Harry is rough. Harry is round. Harry is smart. Harry is white. Big, round things are furry. Kind things are white.
Harry is not round.
@0: Harry is big.[(triple1)] Harry is furry.[(triple2 OR ((triple1 triple5) -> rule1))] Harry is kind.[(triple3)] Harry is rough.[(triple4)] Harry is round.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7 OR ((triple3) -> rule2))]