Bob is furry. Erin is white. Gary is big. Harry is nice. If Gary is furry and Gary is cold then Gary is kind. If Gary is furry and Gary is kind then Gary is nice. Nice, cold people are kind.
Gary is not nice.
@0: Bob is furry.[(triple1)] Erin is white.[(triple2)] Gary is big.[(triple3)] Harry is nice.[(triple4)]