Dave is blue. Dave is not cold. Dave is furry. Dave is young. Erin is not big. Erin is blue. Erin is not cold. Erin is green. Erin is smart. Erin is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is young. If Dave is blue then Dave is smart. All smart, big things are not blue.
Fiona is not big.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple3)] Dave is not cold.[(triple2)] Dave is young.[(triple4)] Erin is blue.[(triple6)] Erin is green.[(triple8)] Erin is not big.[(triple5)] Erin is not cold.[(triple7)] Erin is smart.[(triple9)] Erin is young.[(triple10)] Fiona is big.[(triple11)] Fiona is blue.[(triple12)] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is green.[(triple15)] Fiona is young.[(triple16)] @1: Dave is smart.[(((triple1) -> rule1))]