Anne is red. Bob is young. Charlie is red. Dave is big. Rough people are big. If someone is cold and rough then they are young.
Dave is not big.
@0: Anne is red.[(triple1)] Bob is young.[(triple2)] Charlie is red.[(triple3)] Dave is big.[(triple4)]