Dave is cold. Dave is rough. Erin is young. Fiona is cold. Fiona is nice. Fiona is white. Gary is round. Blue people are nice. White, cold people are young. If Dave is nice then Dave is rough. Round people are rough. All white, round people are cold. Nice, white people are blue.
Dave is not cold.
@0: Dave is cold.[(triple1)] Dave is rough.[(triple2)] Erin is young.[(triple3)] Fiona is cold.[(triple4)] Fiona is nice.[(triple5)] Fiona is white.[(triple6)] Gary is round.[(triple7)] @1: Fiona is blue.[(((triple5 triple6) -> rule6))] Fiona is young.[(((triple6 triple4) -> rule2))] Gary is rough.[(((triple7) -> rule4))]