Harry is not big. Harry is not blue. Harry is furry. Harry is kind. Harry is nice. Harry is smart. Harry is white. If Harry is smart and Harry is not kind then Harry is not nice. All kind things are furry. If Harry is big and Harry is not nice then Harry is blue.
Harry is furry.
@0: Harry is furry.[(triple3 OR ((triple4) -> rule2))] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is not big.[(triple1)] Harry is not blue.[(triple2)] Harry is smart.[(triple6)] Harry is white.[(triple7)]