Harry is furry. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is white. All furry people are round. All nice people are round. Nice people are round. Nice people are rough. If someone is white then they are smart. All furry people are rough.
Harry is nice.
@0: Harry is furry.[(triple1)] Harry is nice.[(triple2)] Harry is red.[(triple3)] Harry is rough.[(triple4 OR ((triple1) -> rule6) OR ((triple2) -> rule4))] Harry is round.[(triple5 OR ((triple1) -> rule1) OR ((triple2) -> rule2) OR ((triple2) -> rule3))] Harry is smart.[(triple6 OR ((triple7) -> rule5))] Harry is white.[(triple7)]