Anne is kind. Anne is nice. Bob is furry. Bob is not kind. Bob is quiet. Bob is not smart. Dave is not furry. Dave is kind. Dave is nice. Dave is smart. If Anne is quiet and Anne is not kind then Anne is nice. Smart, nice things are not furry. If Dave is kind and Dave is not smart then Dave is not white. If something is white and kind then it is nice. If Bob is green then Bob is smart. If Anne is not white then Anne is quiet. If Bob is green then Bob is quiet. If Bob is white and Bob is not furry then Bob is quiet.
Anne is not nice.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Bob is furry.[(triple3)] Bob is not kind.[(triple4)] Bob is not smart.[(triple6)] Bob is quiet.[(triple5)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is not furry.[(triple7 OR ((triple10 triple9) -> rule2))] Dave is smart.[(triple10)]