Anne is big. Anne is furry. Anne is smart. Charlie is furry. Dave is big. Dave is blue. Dave is quiet. Green people are smart. If someone is furry and nice then they are smart. If someone is nice then they are furry. If someone is blue and green then they are furry. If Dave is nice then Dave is not big. If someone is blue and not furry then they are quiet. If someone is quiet and not green then they are big. If Charlie is quiet and Charlie is not blue then Charlie is smart.
Charlie is nice.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Charlie is furry.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is quiet.[(triple7)]