Harry is furry. Harry is not nice. Harry is smart. If Harry is white then Harry is smart. If Harry is quiet and Harry is white then Harry is not furry. If someone is smart and not white then they are nice. If Harry is smart and Harry is quiet then Harry is big. Furry people are not big. If someone is big and not nice then they are furry.
Harry is not round.
@0: Harry is furry.[(triple1)] Harry is not nice.[(triple2)] Harry is smart.[(triple3)] @1: Harry is not big.[(((triple1) -> rule5))]