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