The bear is green. The bear is rough. The lion chases the mouse. The lion is rough. The lion needs the mouse. The mouse chases the lion. The mouse is blue. The mouse is green. The mouse is not rough. The mouse does not like the lion. The mouse does not need the bear. The mouse needs the lion. If someone likes the lion and the lion needs the bear then the lion likes the mouse. If someone is rough and they like the bear then the bear chases the lion. If someone likes the bear then they chase the bear. If someone is rough then they like the bear. Blue, nice people are not rough. If someone needs the bear and they do not chase the bear then they like the mouse.
The bear is green.
("bear" "is" "green" "+")
The bear is rough.
("bear" "is" "rough" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If someone likes the lion and the lion needs the bear then the lion likes the mouse.
((("someone" "likes" "lion" "+") ("lion" "needs" "bear" "+")) -> ("lion" "likes" "mouse" "+"))
If someone is rough and they like the bear then the bear chases the lion.
((("someone" "is" "rough" "+") ("someone" "likes" "bear" "+")) -> ("bear" "chases" "lion" "+"))
If someone likes the bear then they chase the bear.
((("someone" "likes" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If someone is rough then they like the bear.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "bear" "+"))
Blue, nice people are not rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
If someone needs the bear and they do not chase the bear then they like the mouse.
((("someone" "needs" "bear" "+") ("someone" "chases" "bear" "~")) -> ("someone" "likes" "mouse" "+"))
The lion chases the mouse.
True
1
proof
[(triple3)]
("lion" "chases" "mouse" "+")
triple3
The lion does not chase the mouse.
False
1
inv-proof
[(triple3)]
("lion" "chases" "mouse" "-")
triple3
The lion likes the bear.
True
2
proof
[(((triple4) -> rule4))]
("lion" "likes" "bear" "+")
((triple4) -> (rule4 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion does not like the bear.
False
2
inv-proof
[(((triple4) -> rule4))]
("lion" "likes" "bear" "-")
((triple4) -> (rule4 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The bear chases the bear.
True
3
proof
[(((((triple2) -> rule4)) -> rule3))]
("bear" "chases" "bear" "+")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear does not chase the lion.
False
4
inv-proof
[(((triple2 ((triple2) -> rule4)) -> rule2) OR ((triple4 ((triple4) -> rule4)) -> rule2))]
("bear" "chases" "lion" "-")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
((triple4 ((triple4) -> (rule4 % int2))) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion does not like the mouse.
Unknown
inv-rconc
[@1: The lion likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "mouse" "-")
The mouse chases the bear.
Unknown
rconc
[@2: The mouse chases the bear.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("mouse" "chases" "bear" "+")
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 lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
The lion does not need the bear.
Unknown
inv-random
[@0: The lion needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bear" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bear is green.[(triple1)] The bear is rough.[(triple2)] The lion chases the mouse.[(triple3)] The lion is rough.[(triple4)] The lion needs the mouse.[(triple5)] The mouse chases the lion.[(triple6)] The mouse does not like the lion.[(triple10)] The mouse does not need the bear.[(triple11)] The mouse is blue.[(triple7)] The mouse is green.[(triple8)] The mouse is not rough.[(triple9)] The mouse needs the lion.[(triple12)] @1: The bear likes the bear.[(((triple2) -> rule4))] The lion likes the bear.[(((triple4) -> rule4))] @2: The bear chases the bear.[(((((triple2) -> rule4)) -> rule3))] The bear chases the lion.[(((triple2 ((triple2) -> rule4)) -> rule2) OR ((triple4 ((triple4) -> rule4)) -> rule2))] The lion chases the bear.[(((((triple4) -> rule4)) -> rule3))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple3
The lion is rough.
("lion" "is" "rough" "+")
triple4
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple5
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple6
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
triple10
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is not rough.
("mouse" "is" "rough" "-")
triple9
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple12
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
((triple4) -> (rule4 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear chases the lion.
("bear" "chases" "lion" "+")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
((triple4 ((triple4) -> (rule4 % int2))) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2