Bob is nice. If someone is big and cold then they are nice. If someone is red then they are nice. All red people are round. All big, cold people are red. If Bob is round and Bob is big then Bob is red. All green people are nice. All young, green people are nice. If Bob is green then Bob is nice.
Bob is big.
@0: Bob is nice.[(triple1)]