Erin is rough. Fiona is round. If something is white and red then it is green. Rough, round things are big. If Erin is white and Erin is green then Erin is red. If something is green then it is round. If something is white then it is red. If something is green and white then it is red.
Erin is not green.
@0: Erin is rough.[(triple1)] Fiona is round.[(triple2)]