Anne is nice. Dave is nice. Erin is kind. Fiona is cold. Blue things are cold. Nice things are cold.
Fiona is not cold.
@0: Anne is nice.[(triple1)] Dave is nice.[(triple2)] Erin is kind.[(triple3)] Fiona is cold.[(triple4)] @1: Anne is cold.[(((triple1) -> rule2))] Dave is cold.[(((triple2) -> rule2))]