Gary is not big. Gary is blue. Gary is cold. Gary is furry. Gary is rough. Gary is smart. Gary is white. Harry is big. Harry is not blue. Harry is cold. Harry is furry. Harry is rough. Harry is smart. Harry is white. If Harry is not smart and Harry is not blue then Harry is white. If Gary is furry and Gary is not white then Gary is not rough.
Harry is not furry.
@0: Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is furry.[(triple4)] Gary is not big.[(triple1)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is not blue.[(triple9)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)]