Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. Fiona is not round. Fiona is smart. Fiona is not young. If Fiona is smart and Fiona is not rough then Fiona is not red.
Fiona is smart.
@0: Fiona is cold.[(triple1)] Fiona is green.[(triple2)] Fiona is not round.[(triple5)] Fiona is not young.[(triple7)] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Fiona is smart.[(triple6)]