Erin is furry. Gary is quiet. If Erin is smart and Erin is young then Erin is rough. If Erin is rough and Erin is quiet then Erin is red.
Erin is not furry.
@0: Erin is furry.[(triple1)] Gary is quiet.[(triple2)]