Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is rough. Anne is young. Bob is nice. Bob is rough. Dave is cold. Dave is young. If Bob is cold and Bob is green then Bob is furry. If someone is green then they are rough. All furry people are young. All young people are furry. If Dave is cold and Dave is rough then Dave is green. If someone is furry then they are kind. If Anne is nice then Anne is furry. If Dave is rough and Dave is furry then Dave is young.
Bob is not nice.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule7) OR ((triple6) -> rule4))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is rough.[(triple5 OR ((triple3) -> rule2))] Anne is young.[(triple6 OR ((triple2) -> rule3) OR ((((triple4) -> rule7)) -> rule3))] Bob is nice.[(triple7)] Bob is rough.[(triple8)] Dave is cold.[(triple9)] Dave is young.[(triple10)] @1: Anne is kind.[(((triple2) -> rule6) OR ((((triple4) -> rule7)) -> rule6) OR ((((triple6) -> rule4)) -> rule6))] Dave is furry.[(((triple10) -> rule4))] @2: Dave is kind.[(((((triple10) -> rule4)) -> rule6))]