Bob is kind. Bob is smart. Dave is kind. Dave is nice. Dave is smart. Dave is white. Dave is young. Fiona is nice. Fiona is round. Fiona is smart. If Fiona is big and Fiona is white then Fiona is nice.
Bob is not nice.
@0: Bob is kind.[(triple1)] Bob is smart.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is nice.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)]