Anne is big. Anne is red. Anne is rough. Anne is not smart. Bob is big. Dave is big. Dave is blue. Dave is furry. Dave is red. Dave is not rough. Dave is not smart. Dave is young. Gary is big. Gary is blue. Gary is furry. Gary is young. If someone is young then they are furry. Red, big people are furry. If someone is furry then they are red. If someone is young and not blue then they are not red. If Bob is big then Bob is young. If Bob is red and Bob is not furry then Bob is not rough. If someone is red and not young then they are rough. All furry, smart people are not rough.
Bob is not red.
@0: Anne is big.[(triple1)] Anne is not smart.[(triple4)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Bob is big.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple8 OR ((triple12) -> rule1) OR ((triple9 triple6) -> rule2))] Dave is not rough.[(triple10)] Dave is not smart.[(triple11)] Dave is red.[(triple9 OR ((triple8) -> rule3) OR ((((triple12) -> rule1)) -> rule3))] Dave is young.[(triple12)] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is furry.[(triple15 OR ((triple16) -> rule1))] Gary is young.[(triple16)] @1: Anne is furry.[(((triple2 triple1) -> rule2))] Bob is young.[(((triple5) -> rule5))] Gary is red.[(((triple15) -> rule3) OR ((((triple16) -> rule1)) -> rule3))] @2: Bob is furry.[(((((triple5) -> rule5)) -> rule1))] @3: Bob is red.[(((((((triple5) -> rule5)) -> rule1)) -> rule3))]