Anne is furry. Anne is nice. Anne is quiet. Anne is white. Bob is furry. Bob is not white. Dave is not furry. Dave is quiet. Dave is not smart. Dave is not white. All young, nice people are not quiet. All furry people are quiet. If someone is kind and white then they are nice. If Dave is nice and Dave is young then Dave is white. If someone is nice and not smart then they are not kind. Furry people are not young. If someone is nice then they are white. If Anne is smart and Anne is not white then Anne is quiet.
Dave is not nice.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule2))] Anne is white.[(triple4 OR ((triple2) -> rule7))] Bob is furry.[(triple5)] Bob is not white.[(triple6)] Dave is not furry.[(triple7)] Dave is not smart.[(triple9)] Dave is not white.[(triple10)] Dave is quiet.[(triple8)] @1: Anne is not young.[(((triple1) -> rule6))] Bob is not young.[(((triple5) -> rule6))] Bob is quiet.[(((triple5) -> rule2))]