The lion does not chase the mouse. The lion chases the rabbit. The lion does not eat the mouse. The lion is rough. The lion is round. The mouse eats the squirrel. The mouse is round. The rabbit chases the squirrel. The rabbit is round. The squirrel eats the mouse. If the rabbit eats the squirrel then the squirrel is young. If someone is round then they chase the lion. If someone chases the lion then they eat the squirrel. All red people are not rough. If someone chases the mouse and they like the rabbit then they are not rough. If someone is young and they eat the lion then the lion chases the rabbit.
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is round.
("mouse" "is" "round" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
If the rabbit eats the squirrel then the squirrel is young.
((("rabbit" "eats" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone is round then they chase the lion.
((("someone" "is" "round" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the lion then they eat the squirrel.
((("someone" "chases" "lion" "+")) -> ("someone" "eats" "squirrel" "+"))
All red people are not rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "-"))
If someone chases the mouse and they like the rabbit then they are not rough.
((("someone" "chases" "mouse" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "is" "rough" "-"))
If someone is young and they eat the lion then the lion chases the rabbit.
((("someone" "is" "young" "+") ("someone" "eats" "lion" "+")) -> ("lion" "chases" "rabbit" "+"))
The rabbit chases the squirrel.
True
1
proof
[(triple8)]
("rabbit" "chases" "squirrel" "+")
triple8
The squirrel does not eat the mouse.
False
1
inv-proof
[(triple10)]
("squirrel" "eats" "mouse" "-")
triple10
The rabbit chases the lion.
True
2
proof
[(((triple9) -> rule2))]
("rabbit" "chases" "lion" "+")
((triple9) -> (rule2 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The mouse does not chase the lion.
False
2
inv-proof
[(((triple7) -> rule2))]
("mouse" "chases" "lion" "-")
((triple7) -> (rule2 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The lion eats the squirrel.
True
3
proof
[(((((triple5) -> rule2)) -> rule3))]
("lion" "eats" "squirrel" "+")
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The rabbit does not eat the squirrel.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule3))]
("rabbit" "eats" "squirrel" "-")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int2
The squirrel is young.
True
4
proof
[(((((((triple9) -> rule2)) -> rule3)) -> rule1))]
("squirrel" "is" "young" "+")
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int3
The squirrel is not young.
False
4
inv-proof
[(((((((triple9) -> rule2)) -> rule3)) -> rule1))]
("squirrel" "is" "young" "-")
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int3
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@2: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel chases the lion.
Unknown
rconc
[@1: The squirrel chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "lion" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The mouse likes the lion.
Unknown
random
[@0: The mouse likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "lion" "+")
The lion does not eat the rabbit.
Unknown
inv-random
[@0: The lion eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "rabbit" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The lion chases the rabbit.[(triple2)] The lion does not chase the mouse.[(triple1)] The lion does not eat the mouse.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5)] The mouse eats the squirrel.[(triple6 OR ((((triple7) -> rule2)) -> rule3))] The mouse is round.[(triple7)] The rabbit chases the squirrel.[(triple8)] The rabbit is round.[(triple9)] The squirrel eats the mouse.[(triple10)] @1: The lion chases the lion.[(((triple5) -> rule2))] The mouse chases the lion.[(((triple7) -> rule2))] The rabbit chases the lion.[(((triple9) -> rule2))] @2: The lion eats the squirrel.[(((((triple5) -> rule2)) -> rule3))] The rabbit eats the squirrel.[(((((triple9) -> rule2)) -> rule3))] @3: The squirrel is young.[(((((((triple9) -> rule2)) -> rule3)) -> rule1))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple2
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
triple1
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
triple3
The lion is rough.
("lion" "is" "rough" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple6
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
triple7
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple10
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple5) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
((triple7) -> (rule2 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
((triple9) -> (rule2 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int3