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