Anne is furry. Anne is nice. Anne is round. Anne is smart. Anne is young. Dave is not big. Dave is furry. Dave is not nice. Dave is round. Dave is young. Young, big things are round. If something is nice and big then it is round. If Anne is big then Anne is round. If something is quiet and not smart then it is big. If Dave is smart and Dave is not quiet then Dave is round. If Dave is furry and Dave is not young then Dave is round. If something is big and not nice then it is furry. If Anne is quiet then Anne is not young.
Anne is not big.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Dave is furry.[(triple7)] Dave is not big.[(triple6)] Dave is not nice.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)]