Dave is white. Erin is white. Fiona is not cold. Big people are cold. If someone is green and not white then they are not blue. All rough, round people are not blue. All big, cold people are green. All round people are not green. All white people are big.
Fiona is big.
@0: Dave is white.[(triple1)] Erin is white.[(triple2)] Fiona is not cold.[(triple3)] @1: Dave is big.[(((triple1) -> rule6))] Erin is big.[(((triple2) -> rule6))] @2: Dave is cold.[(((((triple1) -> rule6)) -> rule1))] Erin is cold.[(((((triple2) -> rule6)) -> rule1))] @3: Dave is green.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule1)) -> rule4))] Erin is green.[(((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule1)) -> rule4))]