Dave is cold. Dave is green. Dave is nice. Dave is smart. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is not nice. Erin is not red. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is smart. Red people are blue.
Dave is not blue.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is smart.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is not nice.[(triple9)] Erin is not red.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple13)] Fiona is nice.[(triple14)] Fiona is not furry.[(triple12)] Fiona is red.[(triple15)] Fiona is smart.[(triple16)] @1: Fiona is blue.[(((triple15) -> rule1))]