Bob is big. If Bob is green then Bob is red. All red things are green. If Bob is green then Bob is red. Kind things are cold. If something is kind and red then it is young. All smart, young things are big. If something is cold then it is smart. If something is red and smart then it is kind.
Bob is big.
@0: Bob is big.[(triple1)]