Erin is smart. Fiona is not green. If something is big then it is not white. If something is nice and smart then it is round. Nice, big things are round. Round, cold things are nice. All white things are big. If Fiona is not smart then Fiona is green.
Fiona is green.
@0: Erin is smart.[(triple1)] Fiona is not green.[(triple2)]