Anne is big. Bob is furry. Charlie is quiet. Dave is not young. If something is big and not round then it is young. Young things are red.
Anne is not red.
@0: Anne is big.[(triple1)] Bob is furry.[(triple2)] Charlie is quiet.[(triple3)] Dave is not young.[(triple4)]