Anne is big. Anne is not cold. Bob is red. All red, white people are not kind. If someone is white then they are red. If Bob is young and Bob is red then Bob is kind. All cold, young people are round. If someone is red and not white then they are round. If someone is young and not round then they are big. Cold, white people are big. If someone is white and not kind then they are big.
Bob is not red.
@0: Anne is big.[(triple1)] Anne is not cold.[(triple2)] Bob is red.[(triple3)]