Anne is green. Dave is nice. Erin is round. Fiona is round. If Erin is smart and Erin is round then Erin is big.
Fiona is not round.
@0: Anne is green.[(triple1)] Dave is nice.[(triple2)] Erin is round.[(triple3)] Fiona is round.[(triple4)]