Bob is big. Bob is cold. Bob is red. Gary is big. Gary is blue. Gary is cold. Gary is furry. If something is big and smart then it is furry.
Bob is blue.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is red.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)]