Anne is big. Anne is kind. Anne is white. Dave is not big. Dave is not furry. Dave is kind. Dave is nice. Dave is red. Dave is white. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is not nice. Fiona is red. Fiona is white. If Anne is not kind then Anne is big.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is white.[(triple3)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is not big.[(triple4)] Dave is not furry.[(triple5)] Dave is red.[(triple8)] Dave is white.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is not nice.[(triple14)] Fiona is red.[(triple15)] Fiona is white.[(triple16)]