Anne is red. Anne is rough. Anne is smart. Anne is white. Anne is young. Bob is big. Bob is rough. Nice, white things are big. All young, big things are not smart. If something is white and not big then it is red.
Bob is not red.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Bob is big.[(triple6)] Bob is rough.[(triple7)]