The bear chases the dog. The bear eats the dog. The bear is green. The bear is round. The bear is young. The bear needs the dog. The dog eats the bear. The dog is big. The dog is nice. The dog is young. If something chases the dog then the dog is big. If something eats the dog then the dog chases the bear. If something is young and it needs the dog then it chases the bear. If the dog needs the bear and the dog is young then the dog chases the bear. If something is round then it needs the bear. If something chases the bear then it is green. If something chases the dog then it chases the bear. If the bear chases the dog and the dog needs the bear then the bear needs the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
If something chases the dog then the dog is big.
((("something" "chases" "dog" "+")) -> ("dog" "is" "big" "+"))
If something eats the dog then the dog chases the bear.
((("something" "eats" "dog" "+")) -> ("dog" "chases" "bear" "+"))
If something is young and it needs the dog then it chases the bear.
((("something" "is" "young" "+") ("something" "needs" "dog" "+")) -> ("something" "chases" "bear" "+"))
If the dog needs the bear and the dog is young then the dog chases the bear.
((("dog" "needs" "bear" "+") ("dog" "is" "young" "+")) -> ("dog" "chases" "bear" "+"))
If something is round then it needs the bear.
((("something" "is" "round" "+")) -> ("something" "needs" "bear" "+"))
If something chases the bear then it is green.
((("something" "chases" "bear" "+")) -> ("something" "is" "green" "+"))
If something chases the dog then it chases the bear.
((("something" "chases" "dog" "+")) -> ("something" "chases" "bear" "+"))
If the bear chases the dog and the dog needs the bear then the bear needs the dog.
((("bear" "chases" "dog" "+") ("dog" "needs" "bear" "+")) -> ("bear" "needs" "dog" "+"))
The dog is young.
True
1
proof
[(triple10)]
("dog" "is" "young" "+")
triple10
The bear does not need the dog.
False
1
inv-proof
[(triple6)]
("bear" "needs" "dog" "-")
triple6
The dog does not need the bear.
Unknown
inv-rconc
[@1: The dog needs the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "bear" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2)] The bear is green.[(triple3 OR ((((triple1) -> rule7)) -> rule6) OR ((((triple5 triple6) -> rule3)) -> rule6))] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear needs the dog.[(triple6)] The dog eats the bear.[(triple7)] The dog is big.[(triple8 OR ((triple1) -> rule1))] The dog is nice.[(triple9)] The dog is young.[(triple10)] @1: The bear chases the bear.[(((triple1) -> rule7) OR ((triple5 triple6) -> rule3))] The bear needs the bear.[(((triple4) -> rule5))] The dog chases the bear.[(((triple2) -> rule2))] @2: The dog is green.[(((((triple2) -> rule2)) -> rule6))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
((((triple5 triple6) -> (rule3 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is round.
("bear" "is" "round" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear needs the dog.
("bear" "needs" "dog" "+")
triple6
The dog eats the bear.
("dog" "eats" "bear" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
((triple1) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is young.
("dog" "is" "young" "+")
triple10
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple1) -> (rule7 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
((triple5 triple6) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple4) -> (rule5 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
((triple2) -> (rule2 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2