Dave is blue. Dave is smart. Dave is young. Erin is green. Erin is nice. Erin is smart. Fiona is green. Fiona is young. Gary is big. Gary is cold. Gary is green. Gary is smart. If something is young and green then it is blue.
Fiona is nice.
@0: Dave is blue.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is smart.[(triple6)] Fiona is green.[(triple7)] Fiona is young.[(triple8)] Gary is big.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is smart.[(triple12)] @1: Fiona is blue.[(((triple8 triple7) -> rule1))]