Bob is young. Charlie is nice. If something is young and red then it is green. If something is young then it is cold. Cold things are red. If Bob is red then Bob is young. If Bob is cold then Bob is furry. All green, big things are young.
Bob is not young.
@0: Bob is young.[(triple1)] Charlie is nice.[(triple2)] @1: Bob is cold.[(((triple1) -> rule2))] @2: Bob is furry.[(((((triple1) -> rule2)) -> rule5))] Bob is red.[(((((triple1) -> rule2)) -> rule3))] @3: Bob is green.[(((triple1 ((((triple1) -> rule2)) -> rule3)) -> rule1))]