The bear is blue. The bear is young. The dog eats the bear. If someone sees the dog and the dog does not eat the bear then the bear does not see the dog. If someone sees the bear then the bear sees the dog. If the bear visits the dog and the bear is blue then the bear eats the dog. If someone is nice and they do not visit the bear then the bear eats the dog. If someone is nice and they eat the bear then the bear eats the dog. If the dog eats the bear and the dog is not nice then the dog is not young. If the bear eats the dog and the bear is nice then the dog is young. If someone eats the bear then the bear visits the dog.
The bear is blue.
("bear" "is" "blue" "+")
The bear is young.
("bear" "is" "young" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
If someone sees the dog and the dog does not eat the bear then the bear does not see the dog.
((("someone" "sees" "dog" "+") ("dog" "eats" "bear" "~")) -> ("bear" "sees" "dog" "-"))
If someone sees the bear then the bear sees the dog.
((("someone" "sees" "bear" "+")) -> ("bear" "sees" "dog" "+"))
If the bear visits the dog and the bear is blue then the bear eats the dog.
((("bear" "visits" "dog" "+") ("bear" "is" "blue" "+")) -> ("bear" "eats" "dog" "+"))
If someone is nice and they do not visit the bear then the bear eats the dog.
((("someone" "is" "nice" "+") ("someone" "visits" "bear" "~")) -> ("bear" "eats" "dog" "+"))
If someone is nice and they eat the bear then the bear eats the dog.
((("someone" "is" "nice" "+") ("someone" "eats" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If the dog eats the bear and the dog is not nice then the dog is not young.
((("dog" "eats" "bear" "+") ("dog" "is" "nice" "~")) -> ("dog" "is" "young" "-"))
If the bear eats the dog and the bear is nice then the dog is young.
((("bear" "eats" "dog" "+") ("bear" "is" "nice" "+")) -> ("dog" "is" "young" "+"))
If someone eats the bear then the bear visits the dog.
((("someone" "eats" "bear" "+")) -> ("bear" "visits" "dog" "+"))
The dog eats the bear.
True
1
proof
[(triple3)]
("dog" "eats" "bear" "+")
triple3
The bear is not young.
False
1
inv-proof
[(triple2)]
("bear" "is" "young" "-")
triple2
The bear visits the dog.
True
2
proof
[(((triple3) -> rule8))]
("bear" "visits" "dog" "+")
((triple3) -> (rule8 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear does not visit the dog.
False
2
inv-proof
[(((triple3) -> rule8))]
("bear" "visits" "dog" "-")
((triple3) -> (rule8 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear eats the dog.
True
4
proof
[(((((triple3) -> rule8) triple1) -> rule3))]
("bear" "eats" "dog" "+")
((((triple3) -> (rule8 % int2)) triple1) -> (rule3 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear does not eat the dog.
False
4
inv-proof
[(((((triple3) -> rule8) triple1) -> rule3))]
("bear" "eats" "dog" "-")
((((triple3) -> (rule8 % int2)) triple1) -> (rule3 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "young" "-")
The bear sees the dog.
Unknown
rconc
[@1: The bear sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "dog" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bear is blue.[(triple1)] The bear is young.[(triple2)] The dog eats the bear.[(triple3)] @1: The bear visits the dog.[(((triple3) -> rule8))] @2: The bear eats the dog.[(((((triple3) -> rule8) triple1) -> rule3))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The dog eats the bear.
("dog" "eats" "bear" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
((triple3) -> (rule8 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
((((triple3) -> (rule8 % int2)) triple1) -> (rule3 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2