Anne is not blue. Fiona is big. Quiet things are nice. If Fiona is red then Fiona is quiet. All nice, young things are blue. All big, young things are blue. Big, quiet things are blue. If something is nice then it is not quiet. Smart, blue things are not red. If Fiona is smart then Fiona is red.
Fiona is big.
@0: Anne is not blue.[(triple1)] Fiona is big.[(triple2)]