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