Bob is kind. Bob is quiet. Charlie is quiet. Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is not kind. Erin is cold. Erin is green. Erin is not kind. Erin is not quiet. All blue things are furry. If something is kind and not cold then it is blue. If something is kind and not blue then it is big.
Charlie is cold.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Charlie is quiet.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is not kind.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is not kind.[(triple11)] Erin is not quiet.[(triple12)]