Anne is cold. Anne is smart. Anne is young. Dave is green. Dave is kind. Dave is young. Erin is green. Erin is white. Erin is young. Fiona is green. Fiona is smart. Fiona is white. Green, cold things are big. If something is white then it is big.
Anne is not big.
@0: Anne is cold.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is young.[(triple6)] Erin is green.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Fiona is green.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] @1: Erin is big.[(((triple8) -> rule2))] Fiona is big.[(((triple12) -> rule2))]