Anne is not cold. Anne is green. Anne is red. Anne is young. Erin is big. Erin is cold. Erin is green. Erin is smart. Fiona is cold. Fiona is red. All smart things are white. If something is green and red then it is white.
Anne is not cold.
@0: Anne is green.[(triple2)] Anne is not cold.[(triple1)] Anne is red.[(triple3)] Anne is young.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is smart.[(triple8)] Fiona is cold.[(triple9)] Fiona is red.[(triple10)] @1: Anne is white.[(((triple2 triple3) -> rule2))] Erin is white.[(((triple8) -> rule1))]