Anne is cold. Dave is white. Erin is big. Erin is green. Erin is white. Fiona is green. Fiona is not white. If something is cold and not smart then it is nice. If something is smart and not red then it is nice. Green things are cold. If something is green then it is cold. If something is green and not smart then it is cold. If something is smart and not nice then it is white. Cold, smart things are white. All smart, big things are white.
Fiona is white.
@0: Anne is cold.[(triple1)] Dave is white.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is white.[(triple5)] Fiona is green.[(triple6)] Fiona is not white.[(triple7)] @1: Erin is cold.[(((triple4) -> rule3) OR ((triple4) -> rule4))] Fiona is cold.[(((triple6) -> rule3) OR ((triple6) -> rule4))]