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