Bob is green. Fiona is nice. Gary is nice. All white things are cold. White things are cold. If something is green and not blue then it is cold. Cold, green things are smart. All blue things are red. Green things are white.
Fiona is blue.
@0: Bob is green.[(triple1)] Fiona is nice.[(triple2)] Gary is nice.[(triple3)] @1: Bob is white.[(((triple1) -> rule6))] @2: Bob is cold.[(((((triple1) -> rule6)) -> rule1) OR ((((triple1) -> rule6)) -> rule2))] @3: Bob is smart.[(((((((triple1) -> rule6)) -> rule1) triple1) -> rule4) OR ((((((triple1) -> rule6)) -> rule2) triple1) -> rule4))]