Erin is not blue. Erin is not cold. Erin is green. Erin is rough. Erin is young. Fiona is not blue. Fiona is cold. Fiona is green. Fiona is not nice. Fiona is not rough. Fiona is smart. Fiona is not young. All green, rough people are smart. If someone is nice and not rough then they are blue.
Erin is not cold.
@0: Erin is green.[(triple3)] Erin is not blue.[(triple1)] Erin is not cold.[(triple2)] Erin is rough.[(triple4)] Erin is young.[(triple5)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is not blue.[(triple6)] Fiona is not nice.[(triple9)] Fiona is not rough.[(triple10)] Fiona is not young.[(triple12)] Fiona is smart.[(triple11)] @1: Erin is smart.[(((triple3 triple4) -> rule1))]