Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is smart. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is red. Fiona is not rough. Fiona is smart. If Erin is smart and Erin is not green then Erin is not cold.
Fiona is smart.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is not rough.[(triple13)] Fiona is red.[(triple12)] Fiona is smart.[(triple14)]