Dave is cold. Erin is furry. Gary is quiet. If Gary is not young and Gary is not smart then Gary is not furry. If Erin is cold then Erin is not nice. If Erin is quiet then Erin is furry.
Erin is furry.
@0: Dave is cold.[(triple1)] Erin is furry.[(triple2)] Gary is quiet.[(triple3)]