Anne is rough. Charlie is cold. Dave is big. Fiona is cold. If Dave is cold and Dave is big then Dave is rough. If Dave is red then Dave is big.
Anne is not rough.
@0: Anne is rough.[(triple1)] Charlie is cold.[(triple2)] Dave is big.[(triple3)] Fiona is cold.[(triple4)]