Gary is smart. Harry is red. Smart, red things are furry. If something is big and not red then it is not furry. If something is red then it is furry. If Harry is big and Harry is furry then Harry is young. If Gary is red then Gary is not big. If Harry is smart and Harry is young then Harry is quiet. If something is furry then it is big. If something is young and furry then it is big.
Harry is big.
@0: Gary is smart.[(triple1)] Harry is red.[(triple2)] @1: Harry is furry.[(((triple2) -> rule3))] @2: Harry is big.[(((((triple2) -> rule3)) -> rule7))] @3: Harry is young.[(((((((triple2) -> rule3)) -> rule7) ((triple2) -> rule3)) -> rule4))]