Anne is big. Anne is cold. Anne is smart. Fiona is cold. Fiona is smart. Gary is nice. Gary is young. If something is green then it is kind. If something is cold and green then it is young.
Fiona is not young.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is smart.[(triple3)] Fiona is cold.[(triple4)] Fiona is smart.[(triple5)] Gary is nice.[(triple6)] Gary is young.[(triple7)]