Bob is not big. All cold, big people are not green. If someone is round and big then they are not cold. Quiet people are not cold. If someone is cold and not round then they are big. If Bob is not smart and Bob is not round then Bob is blue. If Bob is big and Bob is green then Bob is blue. If someone is blue and not smart then they are quiet. All cold people are quiet.
Bob is big.
@0: Bob is not big.[(triple1)]