Bob is young. Dave is green. Fiona is round. If something is young then it is cold. Cold things are nice. If something is green and nice then it is young. If Bob is red and Bob is cold then Bob is nice. All red things are green. All young, nice things are red.
Bob is not red.
@0: Bob is young.[(triple1)] Dave is green.[(triple2)] Fiona is round.[(triple3)] @1: Bob is cold.[(((triple1) -> rule1))] @2: Bob is nice.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is red.[(((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule6))] @4: Bob is green.[(((((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule6)) -> rule5))]