Bob is big. Bob is not cold. Bob is quiet. Bob is smart. Gary is cold. Gary is nice. Gary is not quiet. If Gary is big then Gary is cold.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is not cold.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Gary is cold.[(triple5)] Gary is nice.[(triple6)] Gary is not quiet.[(triple7)]