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.
Harry is not nice.
@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)]