Bob is big. If Bob is big and Bob is green then Bob is smart. If Bob is round then Bob is smart. All red people are not green. If Bob is round then Bob is not big. If someone is red and not green then they are smart. Green people are smart.
Bob is not big.
@0: Bob is big.[(triple1)]