Bob is big. Bob is not red. Bob is white. Bob is young. Gary is big. Gary is cold. Gary is rough. Gary is not smart. Gary is white. Harry is cold. Harry is rough. Harry is young. If something is smart and not white then it is red. If Gary is young then Gary is cold.
Gary is not cold.
@0: Bob is big.[(triple1)] Bob is not red.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6)] Gary is not smart.[(triple8)] Gary is rough.[(triple7)] Gary is white.[(triple9)] Harry is cold.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)]