Harry is cold. If something is furry then it is cold. Furry things are round. Young, cold things are red. If something is cold and round then it is red. If Harry is big and Harry is smart then Harry is cold. Young, cold things are smart. Cold things are furry. All furry things are big.
Harry is cold.
@0: Harry is cold.[(triple1)] @1: Harry is furry.[(((triple1) -> rule7))] @2: Harry is big.[(((((triple1) -> rule7)) -> rule8))] Harry is round.[(((((triple1) -> rule7)) -> rule2))] @3: Harry is red.[(((triple1 ((((triple1) -> rule7)) -> rule2)) -> rule4))]