Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is rough. Harry is smart. Harry is young. Smart, blue things are rough. If Harry is smart then Harry is furry.
Harry is not smart.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is furry.[(triple3 OR ((triple6) -> rule2))] Harry is nice.[(triple4)] Harry is rough.[(triple5 OR ((triple6 triple2) -> rule1))] Harry is smart.[(triple6)] Harry is young.[(triple7)]