Anne is red. Anne is young. Bob is nice. Bob is red. Fiona is cold. Fiona is nice. Fiona is round. If Anne is smart then Anne is cold. If Bob is round then Bob is nice. Red, round things are nice.
Fiona is smart.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Fiona is round.[(triple7)]