Charlie is white. Dave is green. Erin is red. Gary is green. If Dave is nice then Dave is red. If someone is green then they are rough. All rough people are young. Nice, cold people are green. Green people are not cold. If Dave is nice then Dave is not white.
Charlie is red.
@0: Charlie is white.[(triple1)] Dave is green.[(triple2)] Erin is red.[(triple3)] Gary is green.[(triple4)] @1: Dave is not cold.[(((triple2) -> rule5))] Dave is rough.[(((triple2) -> rule2))] Gary is not cold.[(((triple4) -> rule5))] Gary is rough.[(((triple4) -> rule2))] @2: Dave is young.[(((((triple2) -> rule2)) -> rule3))] Gary is young.[(((((triple4) -> rule2)) -> rule3))]