Bob is cold. Harry is cold. Harry is rough. If Bob is round then Bob is cold. White things are furry. All rough things are white. If Harry is green and Harry is white then Harry is cold. If something is green then it is furry. If Bob is rough then Bob is green.
Bob is young.
@0: Bob is cold.[(triple1)] Harry is cold.[(triple2)] Harry is rough.[(triple3)] @1: Harry is white.[(((triple3) -> rule3))] @2: Harry is furry.[(((((triple3) -> rule3)) -> rule2))]