The bear eats the dog. The dog visits the bear. The mouse is rough. If the bear is round then the bear is young. If someone is rough and they eat the mouse then they do not like the dog. If someone eats the dog then the dog likes the mouse. If someone visits the bear then the bear is not round. If the dog eats the mouse and the dog is not blue then the dog does not like the bear. If someone eats the mouse and the mouse visits the dog then they eat the bear. If someone likes the mouse then they eat the mouse. If someone likes the dog and they do not visit the dog then the dog is young.
The bear eats the dog.
("bear" "eats" "dog" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If the bear is round then the bear is young.
((("bear" "is" "round" "+")) -> ("bear" "is" "young" "+"))
If someone is rough and they eat the mouse then they do not like the dog.
((("someone" "is" "rough" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "likes" "dog" "-"))
If someone eats the dog then the dog likes the mouse.
((("someone" "eats" "dog" "+")) -> ("dog" "likes" "mouse" "+"))
If someone visits the bear then the bear is not round.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "round" "-"))
If the dog eats the mouse and the dog is not blue then the dog does not like the bear.
((("dog" "eats" "mouse" "+") ("dog" "is" "blue" "~")) -> ("dog" "likes" "bear" "-"))
If someone eats the mouse and the mouse visits the dog then they eat the bear.
((("someone" "eats" "mouse" "+") ("mouse" "visits" "dog" "+")) -> ("someone" "eats" "bear" "+"))
If someone likes the mouse then they eat the mouse.
((("someone" "likes" "mouse" "+")) -> ("someone" "eats" "mouse" "+"))
If someone likes the dog and they do not visit the dog then the dog is young.
((("someone" "likes" "dog" "+") ("someone" "visits" "dog" "~")) -> ("dog" "is" "young" "+"))
The mouse is rough.
True
1
proof
[(triple3)]
("mouse" "is" "rough" "+")
triple3
The dog does not visit the bear.
False
1
inv-proof
[(triple2)]
("dog" "visits" "bear" "-")
triple2
The dog likes the mouse.
True
2
proof
[(((triple1) -> rule3))]
("dog" "likes" "mouse" "+")
((triple1) -> (rule3 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog does not like the mouse.
False
2
inv-proof
[(((triple1) -> rule3))]
("dog" "likes" "mouse" "-")
((triple1) -> (rule3 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog eats the mouse.
True
3
proof
[(((((triple1) -> rule3)) -> rule7))]
("dog" "eats" "mouse" "+")
((((triple1) -> (rule3 % int2))) -> (rule7 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2
The dog does not eat the mouse.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule7))]
("dog" "eats" "mouse" "-")
((((triple1) -> (rule3 % int2))) -> (rule7 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "young" "-")
The dog is young.
Unknown
rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "young" "+")
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse likes the dog.
Unknown
random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "+")
The bear does not like the mouse.
Unknown
inv-random
[@0: The bear likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "mouse" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The bear eats the dog.[(triple1)] The dog visits the bear.[(triple2)] The mouse is rough.[(triple3)] @1: The bear is not round.[(((triple2) -> rule4))] The dog likes the mouse.[(((triple1) -> rule3))] @2: The dog eats the mouse.[(((((triple1) -> rule3)) -> rule7))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The dog visits the bear.
("dog" "visits" "bear" "+")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3
The bear is not round.
("bear" "is" "round" "-")
((triple2) -> (rule4 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
((triple1) -> (rule3 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((((triple1) -> (rule3 % int2))) -> (rule7 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2