Anne is cold. Anne is furry. Anne is not kind. Anne is quiet. Anne is red. Bob is cold. Bob is furry. Bob is green. Bob is not nice. Bob is red. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is red. If Bob is red and Bob is nice then Bob is cold. If Anne is cold and Anne is not kind then Anne is red. If someone is kind and not nice then they are not red. If someone is furry and not kind then they are red. If someone is green and not nice then they are furry. If someone is kind and not furry then they are quiet.
Dave is not red.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not kind.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple1 triple3) -> rule2) OR ((triple2 triple3) -> rule4))] Bob is cold.[(triple6)] Bob is furry.[(triple7 OR ((triple8 triple9) -> rule5))] Bob is green.[(triple8)] Bob is not nice.[(triple9)] Bob is red.[(triple10)] Dave is cold.[(triple11)] Dave is furry.[(triple12)] Dave is green.[(triple13)] Dave is nice.[(triple14)] Dave is quiet.[(triple15)] Dave is red.[(triple16)]