Anne is big. Erin is big. Fiona is white. Furry, smart things are big. If Anne is white then Anne is furry. If Erin is white then Erin is furry. All red things are blue. If something is blue then it is round. All furry, smart things are round.
Anne is not big.
@0: Anne is big.[(triple1)] Erin is big.[(triple2)] Fiona is white.[(triple3)]