Bob is green. Charlie is big. Dave is cold. Fiona is cold. Green, smart things are big. If something is smart and green then it is cold. Rough things are big. If something is big then it is blue. All blue things are cold. Blue, cold things are white.
Fiona is not blue.
@0: Bob is green.[(triple1)] Charlie is big.[(triple2)] Dave is cold.[(triple3)] Fiona is cold.[(triple4)] @1: Charlie is blue.[(((triple2) -> rule4))] @2: Charlie is cold.[(((((triple2) -> rule4)) -> rule5))] @3: Charlie is white.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule5)) -> rule6))]