Bob is cold. Bob is green. Fiona is cold. If Bob is quiet and Bob is red then Bob is white. Cold people are nice.
Fiona is not cold.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Fiona is cold.[(triple3)] @1: Bob is nice.[(((triple1) -> rule2))] Fiona is nice.[(((triple3) -> rule2))]