Anne is blue. Anne is round. Erin is big. Erin is blue. Erin is cold. Erin is round. Erin is smart. Erin is young. Fiona is nice. Fiona is smart. If someone is big then they are nice.
Erin is not young.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)] @1: Erin is nice.[(((triple3) -> rule1))]