Dave is cold. Erin is cold. Erin is white. Fiona is not blue. Fiona is round. Fiona is white. Gary is green. If something is white and rough then it is blue. All red things are blue. If Fiona is cold and Fiona is blue then Fiona is red. If something is blue and not round then it is not cold. If something is round then it is green. If something is cold then it is red.
Erin is not cold.
@0: Dave is cold.[(triple1)] Erin is cold.[(triple2)] Erin is white.[(triple3)] Fiona is not blue.[(triple4)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Gary is green.[(triple7)] @1: Dave is red.[(((triple1) -> rule6))] Erin is red.[(((triple2) -> rule6))] Fiona is green.[(((triple5) -> rule5))] @2: Dave is blue.[(((((triple1) -> rule6)) -> rule2))] Erin is blue.[(((((triple2) -> rule6)) -> rule2))]