Dave is rough. Erin is young. Fiona is not green. Fiona is nice. Gary is green. Gary is red. Gary is white. Cold things are not red. All young things are white. If something is rough then it is nice. White, nice things are cold. If something is nice then it is young. All young things are rough.
Erin is red.
@0: Dave is rough.[(triple1)] Erin is young.[(triple2)] Fiona is nice.[(triple4)] Fiona is not green.[(triple3)] Gary is green.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)] @1: Dave is nice.[(((triple1) -> rule3))] Erin is rough.[(((triple2) -> rule6))] Erin is white.[(((triple2) -> rule2))] Fiona is young.[(((triple4) -> rule5))] @2: Dave is young.[(((((triple1) -> rule3)) -> rule5))] Erin is nice.[(((((triple2) -> rule6)) -> rule3))] Fiona is rough.[(((((triple4) -> rule5)) -> rule6))] Fiona is white.[(((((triple4) -> rule5)) -> rule2))] @3: Dave is white.[(((((((triple1) -> rule3)) -> rule5)) -> rule2))] Erin is cold.[(((((triple2) -> rule2) ((((triple2) -> rule6)) -> rule3)) -> rule4))] Fiona is cold.[(((((((triple4) -> rule5)) -> rule2) triple4) -> rule4))] @4: Dave is cold.[(((((((((triple1) -> rule3)) -> rule5)) -> rule2) ((triple1) -> rule3)) -> rule4))] Erin is not red.[(((((((triple2) -> rule2) ((((triple2) -> rule6)) -> rule3)) -> rule4)) -> rule1))] Fiona is not red.[(((((((((triple4) -> rule5)) -> rule2) triple4) -> rule4)) -> rule1))] @5: Dave is not red.[(((((((((((triple1) -> rule3)) -> rule5)) -> rule2) ((triple1) -> rule3)) -> rule4)) -> rule1))]