The bear does not chase the dog. The bear chases the mouse. The bear is young. The dog chases the mouse. The dog is not green. The dog is round. The mouse chases the bear. If someone chases the dog then the dog is young. If the dog visits the bear and the bear does not chase the mouse then the bear chases the dog. If the mouse visits the dog and the mouse is not kind then the mouse visits the bear. If the dog does not chase the mouse then the mouse does not chase the dog. If someone visits the mouse then they visit the bear. If someone is green and they visit the bear then the bear likes the mouse. If someone likes the dog and the dog is round then the dog visits the mouse. If someone chases the bear then the bear likes the dog.
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is young.
("bear" "is" "young" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is round.
("dog" "is" "round" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
If someone chases the dog then the dog is young.
((("someone" "chases" "dog" "+")) -> ("dog" "is" "young" "+"))
If the dog visits the bear and the bear does not chase the mouse then the bear chases the dog.
((("dog" "visits" "bear" "+") ("bear" "chases" "mouse" "~")) -> ("bear" "chases" "dog" "+"))
If the mouse visits the dog and the mouse is not kind then the mouse visits the bear.
((("mouse" "visits" "dog" "+") ("mouse" "is" "kind" "~")) -> ("mouse" "visits" "bear" "+"))
If the dog does not chase the mouse then the mouse does not chase the dog.
((("dog" "chases" "mouse" "~")) -> ("mouse" "chases" "dog" "-"))
If someone visits the mouse then they visit the bear.
((("someone" "visits" "mouse" "+")) -> ("someone" "visits" "bear" "+"))
If someone is green and they visit the bear then the bear likes the mouse.
((("someone" "is" "green" "+") ("someone" "visits" "bear" "+")) -> ("bear" "likes" "mouse" "+"))
If someone likes the dog and the dog is round then the dog visits the mouse.
((("someone" "likes" "dog" "+") ("dog" "is" "round" "+")) -> ("dog" "visits" "mouse" "+"))
If someone chases the bear then the bear likes the dog.
((("someone" "chases" "bear" "+")) -> ("bear" "likes" "dog" "+"))
The dog is round.
True
1
proof
[(triple6)]
("dog" "is" "round" "+")
triple6
The bear chases the dog.
False
1
inv-proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The bear likes the dog.
True
2
proof
[(((triple7) -> rule8))]
("bear" "likes" "dog" "+")
((triple7) -> (rule8 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear does not like the dog.
False
2
inv-proof
[(((triple7) -> rule8))]
("bear" "likes" "dog" "-")
((triple7) -> (rule8 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The dog visits the mouse.
True
4
proof
[(((((triple7) -> rule8) triple6) -> rule7))]
("dog" "visits" "mouse" "+")
((((triple7) -> (rule8 % int2)) triple6) -> (rule7 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The dog does not visit the mouse.
False
4
inv-proof
[(((((triple7) -> rule8) triple6) -> rule7))]
("dog" "visits" "mouse" "-")
((((triple7) -> (rule8 % int2)) triple6) -> (rule7 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The dog visits the bear.
True
5
proof
[(((((((triple7) -> rule8) triple6) -> rule7)) -> rule5))]
("dog" "visits" "bear" "+")
((((((triple7) -> (rule8 % int3)) triple6) -> (rule7 % int2))) -> (rule5 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
int3
The dog does not visit the bear.
False
5
inv-proof
[(((((((triple7) -> rule8) triple6) -> rule7)) -> rule5))]
("dog" "visits" "bear" "-")
((((((triple7) -> (rule8 % int3)) triple6) -> (rule7 % int2))) -> (rule5 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
int3
The bear does not like the mouse.
Unknown
inv-rconc
[@1: The bear likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "likes" "mouse" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "visits" "bear" "+")
The mouse does not visit the bear.
Unknown
inv-rconc
[@1: The mouse visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "bear" "-")
The dog is young.
Unknown
rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The dog does not like the mouse.
Unknown
inv-random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bear chases the mouse.[(triple2)] The bear does not chase the dog.[(triple1)] The bear is young.[(triple3)] The dog chases the mouse.[(triple4)] The dog is not green.[(triple5)] The dog is round.[(triple6)] The mouse chases the bear.[(triple7)] @1: The bear likes the dog.[(((triple7) -> rule8))] @2: The dog visits the mouse.[(((((triple7) -> rule8) triple6) -> rule7))] @3: The dog visits the bear.[(((((((triple7) -> rule8) triple6) -> rule7)) -> rule5))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple1
The bear is young.
("bear" "is" "young" "+")
triple3
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple4
The dog is not green.
("dog" "is" "green" "-")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple7
The bear likes the dog.
("bear" "likes" "dog" "+")
((triple7) -> (rule8 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
((((triple7) -> (rule8 % int2)) triple6) -> (rule7 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
((((((triple7) -> (rule8 % int3)) triple6) -> (rule7 % int2))) -> (rule5 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
int3