Anne is red. Anne is young. Bob is big. Bob is red. Bob is young. Dave is green. Dave is red. All red, white people are furry. If someone is green and furry then they are red. If Bob is kind then Bob is big.
Bob is not red.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Bob is big.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple5)] Dave is green.[(triple6)] Dave is red.[(triple7)]