Harry is blue. All green people are furry. Blue people are furry. All cold people are red. Cold, red people are furry. All rough people are cold. If Harry is furry and Harry is red then Harry is round. If Harry is round then Harry is green. If someone is furry then they are rough.
Harry is cold.
@0: Harry is blue.[(triple1)] @1: Harry is furry.[(((triple1) -> rule2))] @2: Harry is rough.[(((((triple1) -> rule2)) -> rule8))] @3: Harry is cold.[(((((((triple1) -> rule2)) -> rule8)) -> rule5))] @4: Harry is red.[(((((((((triple1) -> rule2)) -> rule8)) -> rule5)) -> rule3))] @5: Harry is round.[(((((triple1) -> rule2) ((((((((triple1) -> rule2)) -> rule8)) -> rule5)) -> rule3)) -> rule6))] @6: Harry is green.[(((((((triple1) -> rule2) ((((((((triple1) -> rule2)) -> rule8)) -> rule5)) -> rule3)) -> rule6)) -> rule7))]