Gary is red. Gary is smart. Harry is cold. Harry is furry. Harry is nice. Harry is not red. Harry is rough. All blue things are furry.
Gary is not furry.
@0: Gary is red.[(triple1)] Gary is smart.[(triple2)] Harry is cold.[(triple3)] Harry is furry.[(triple4)] Harry is nice.[(triple5)] Harry is not red.[(triple6)] Harry is rough.[(triple7)]