Harry is not big. Harry is furry. Harry is nice. Harry is rough. Harry is smart. Harry is white. Harry is not young. Smart, rough people are nice. All young people are white. If someone is smart then they are white. If someone is rough and not smart then they are furry. If Harry is not rough and Harry is not young then Harry is not white. If Harry is not white then Harry is big.
Harry is not nice.
@0: Harry is furry.[(triple2)] Harry is nice.[(triple3 OR ((triple5 triple4) -> rule1))] Harry is not big.[(triple1)] Harry is not young.[(triple7)] Harry is rough.[(triple4)] Harry is smart.[(triple5)] Harry is white.[(triple6 OR ((triple5) -> rule3))]