Bob is kind. Dave is red. Fiona is red. If something is kind and not big then it is not red. If Dave is big and Dave is not white then Dave is kind.
Dave is red.
@0: Bob is kind.[(triple1)] Dave is red.[(triple2)] Fiona is red.[(triple3)]