Bob is cold. Bob is nice. Bob is white. Gary is furry. Gary is green. Gary is nice. Harry is nice. Harry is red. Harry is round. Harry is white. If Bob is furry then Bob is red.
Gary is not green.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5)] Gary is nice.[(triple6)] Harry is nice.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)]