Erin is round. Quiet things are big. Quiet things are furry. If Erin is cold then Erin is not green. If something is red then it is green. All furry, big things are not red. All cold things are red. If something is quiet and not big then it is not cold. If Erin is quiet and Erin is not green then Erin is round.
Erin is not round.
@0: Erin is round.[(triple1)]