Harry is not big. Harry is quiet. Harry is smart. Quiet people are not nice. If someone is big then they are furry. Kind people are furry. If someone is round and not big then they are quiet. If someone is big then they are round. If Harry is quiet then Harry is not round.
Harry is kind.
@0: Harry is not big.[(triple1)] Harry is quiet.[(triple2)] Harry is smart.[(triple3)] @1: Harry is not nice.[(((triple2) -> rule1))] Harry is not round.[(((triple2) -> rule6))]