Anne is young. Charlie is not cold. Dave is not big. Fiona is cold. If Anne is smart and Anne is round then Anne is young. If something is round then it is not smart. All round, cold things are not smart. If something is smart then it is nice. All cold, round things are nice. If Dave is not big and Dave is not round then Dave is cold.
Anne is young.
@0: Anne is young.[(triple1)] Charlie is not cold.[(triple2)] Dave is not big.[(triple3)] Fiona is cold.[(triple4)]