Bob is not blue. Dave is not red. Erin is red. Fiona is not cold. All red people are cold. If Erin is cold and Erin is red then Erin is blue.
Erin is cold.
@0: Bob is not blue.[(triple1)] Dave is not red.[(triple2)] Erin is red.[(triple3)] Fiona is not cold.[(triple4)] @1: Erin is cold.[(((triple3) -> rule1))] @2: Erin is blue.[(((((triple3) -> rule1) triple3) -> rule2))]