The bear eats the mouse. The bear eats the tiger. The bear is young. The dog eats the bear. The dog eats the mouse. The dog likes the mouse. The mouse eats the dog. The mouse needs the bear. The mouse needs the tiger. The tiger likes the bear. If someone is round then they like the dog. If someone likes the tiger then the tiger needs the dog. If someone needs the tiger then they are rough. If someone is round and rough then they eat the dog. If the mouse needs the tiger and the tiger eats the mouse then the mouse likes the tiger. If someone is nice then they need the mouse. If someone is young and they need the bear then the bear needs the tiger. If someone is young and they eat the mouse then they are rough.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is young.
("bear" "is" "young" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If someone is round then they like the dog.
((("someone" "is" "round" "+")) -> ("someone" "likes" "dog" "+"))
If someone likes the tiger then the tiger needs the dog.
((("someone" "likes" "tiger" "+")) -> ("tiger" "needs" "dog" "+"))
If someone needs the tiger then they are rough.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they eat the dog.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "dog" "+"))
If the mouse needs the tiger and the tiger eats the mouse then the mouse likes the tiger.
((("mouse" "needs" "tiger" "+") ("tiger" "eats" "mouse" "+")) -> ("mouse" "likes" "tiger" "+"))
If someone is nice then they need the mouse.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "mouse" "+"))
If someone is young and they need the bear then the bear needs the tiger.
((("someone" "is" "young" "+") ("someone" "needs" "bear" "+")) -> ("bear" "needs" "tiger" "+"))
If someone is young and they eat the mouse then they are rough.
((("someone" "is" "young" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "is" "rough" "+"))
The mouse eats the dog.
True
1
proof
[(triple7)]
("mouse" "eats" "dog" "+")
triple7
The mouse does not eat the dog.
False
1
inv-proof
[(triple7)]
("mouse" "eats" "dog" "-")
triple7
The bear is rough.
True
3
proof
[(((triple3 triple1) -> rule8))]
("bear" "is" "rough" "+")
((triple3 triple1) -> (rule8 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse is not rough.
False
2
inv-proof
[(((triple9) -> rule3))]
("mouse" "is" "rough" "-")
((triple9) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse does not like the tiger.
Unknown
inv-rconc
[@1: The mouse likes the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "tiger" "-")
The mouse needs the mouse.
Unknown
rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "needs" "mouse" "+")
The bear does not like the tiger.
Unknown
inv-random
[@0: The bear likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "tiger" "-")
The mouse eats the tiger.
Unknown
random
[@0: The mouse eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "tiger" "+")
@0: The bear eats the mouse.[(triple1)] The bear eats the tiger.[(triple2)] The bear is young.[(triple3)] The dog eats the bear.[(triple4)] The dog eats the mouse.[(triple5)] The dog likes the mouse.[(triple6)] The mouse eats the dog.[(triple7)] The mouse needs the bear.[(triple8)] The mouse needs the tiger.[(triple9)] The tiger likes the bear.[(triple10)] @1: The bear is rough.[(((triple3 triple1) -> rule8))] The mouse is rough.[(((triple9) -> rule3))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The dog eats the bear.
("dog" "eats" "bear" "+")
triple4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple5
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple6
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple7
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple8
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple9
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple10
The bear is rough.
("bear" "is" "rough" "+")
((triple3 triple1) -> (rule8 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple9) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1