Erin is not cold. Erin is kind. Erin is nice. Erin is round. Erin is smart. Erin is not young. Fiona is cold. Fiona is not kind. Fiona is nice. Fiona is young. If Fiona is kind then Fiona is not young. If Fiona is not smart and Fiona is not young then Fiona is not cold.
Fiona is not nice.
@0: Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is not cold.[(triple1)] Erin is not young.[(triple6)] Erin is round.[(triple4)] Erin is smart.[(triple5)] Fiona is cold.[(triple7)] Fiona is nice.[(triple9)] Fiona is not kind.[(triple8)] Fiona is young.[(triple10)]