Charlie is cold. Charlie is furry. Dave is white. Dave is young. Erin is green. Erin is white. Fiona is green. Fiona is smart. Fiona is white. Fiona is young. All green people are cold.
Fiona is not cold.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Erin is green.[(triple5)] Erin is white.[(triple6)] Fiona is green.[(triple7)] Fiona is smart.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] @1: Erin is cold.[(((triple5) -> rule1))] Fiona is cold.[(((triple7) -> rule1))]