Charlie is furry. Dave is green. Erin is green. Gary is big. If something is big then it is green. All green things are blue. If Erin is big and Erin is cold then Erin is rough. If something is red then it is cold. Blue things are not cold. If Gary is cold and Gary is not blue then Gary is red.
Erin is not blue.
@0: Charlie is furry.[(triple1)] Dave is green.[(triple2)] Erin is green.[(triple3)] Gary is big.[(triple4)] @1: Dave is blue.[(((triple2) -> rule2))] Erin is blue.[(((triple3) -> rule2))] Gary is green.[(((triple4) -> rule1))] @2: Dave is not cold.[(((((triple2) -> rule2)) -> rule5))] Erin is not cold.[(((((triple3) -> rule2)) -> rule5))] Gary is blue.[(((((triple4) -> rule1)) -> rule2))] @3: Gary is not cold.[(((((((triple4) -> rule1)) -> rule2)) -> rule5))]