Bob is red. If someone is red then they are cold. If someone is nice and green then they are white. Smart, green people are red. If Bob is green and Bob is cold then Bob is white. Cold people are green. White people are young.
Bob is not red.
@0: Bob is red.[(triple1)] @1: Bob is cold.[(((triple1) -> rule1))] @2: Bob is green.[(((((triple1) -> rule1)) -> rule5))] @3: Bob is white.[(((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule4))] @4: Bob is young.[(((((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule4)) -> rule6))]