The bald eagle likes the rabbit. The mouse is rough. The rabbit eats the squirrel. The rabbit is not rough. The squirrel eats the bald eagle. The squirrel eats the rabbit. The squirrel is not red. If the mouse likes the bald eagle then the mouse does not eat the bald eagle. If the rabbit is young then the rabbit is not rough. If something needs the mouse then the mouse needs the squirrel. If something eats the bald eagle then the bald eagle does not eat the mouse. If something likes the rabbit then it is blue. If something is blue and it does not eat the mouse then the mouse likes the rabbit. If the mouse is not young then the mouse likes the rabbit. If something is blue then it is rough.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
If the mouse likes the bald eagle then the mouse does not eat the bald eagle.
((("mouse" "likes" "bald eagle" "+")) -> ("mouse" "eats" "bald eagle" "-"))
If the rabbit is young then the rabbit is not rough.
((("rabbit" "is" "young" "+")) -> ("rabbit" "is" "rough" "-"))
If something needs the mouse then the mouse needs the squirrel.
((("something" "needs" "mouse" "+")) -> ("mouse" "needs" "squirrel" "+"))
If something eats the bald eagle then the bald eagle does not eat the mouse.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "-"))
If something likes the rabbit then it is blue.
((("something" "likes" "rabbit" "+")) -> ("something" "is" "blue" "+"))
If something is blue and it does not eat the mouse then the mouse likes the rabbit.
((("something" "is" "blue" "+") ("something" "eats" "mouse" "~")) -> ("mouse" "likes" "rabbit" "+"))
If the mouse is not young then the mouse likes the rabbit.
((("mouse" "is" "young" "~")) -> ("mouse" "likes" "rabbit" "+"))
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
The rabbit is not rough.
True
1
proof
[(triple4)]
("rabbit" "is" "rough" "-")
triple4
The squirrel is red.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "red" "+")
triple7
The bald eagle is blue.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "is" "blue" "+")
((triple1) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the mouse.
False
2
inv-proof
[(((triple5) -> rule4))]
("bald eagle" "eats" "mouse" "+")
((triple5) -> (rule4 % int1))
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
int1
The mouse likes the rabbit.
True
5
proof
[(((((triple1) -> rule5) ((triple5) -> rule4)) -> rule6))]
("mouse" "likes" "rabbit" "+")
((((triple1) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle is not rough.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule8))]
("bald eagle" "is" "rough" "-")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The mouse is blue.
True
6
proof
[(((((((triple1) -> rule5) ((triple5) -> rule4)) -> rule6)) -> rule5))]
("mouse" "is" "blue" "+")
((((((triple1) -> (rule5 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The mouse is not blue.
False
6
inv-proof
[(((((((triple1) -> rule5) ((triple5) -> rule4)) -> rule6)) -> rule5))]
("mouse" "is" "blue" "-")
((((((triple1) -> (rule5 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel is not rough.
Unknown
inv-rconc
[@2: The squirrel is rough.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("squirrel" "is" "rough" "-")
The mouse needs the squirrel.
Unknown
rconc
[@1: The mouse needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "needs" "squirrel" "+")
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "blue" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "blue" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The rabbit likes the mouse.
Unknown
random
[@0: The rabbit likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "mouse" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The mouse is rough.[(triple2 OR ((((((((triple1) -> rule5) ((triple5) -> rule4)) -> rule6)) -> rule5)) -> rule8))] The rabbit eats the squirrel.[(triple3)] The rabbit is not rough.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The squirrel eats the rabbit.[(triple6)] The squirrel is not red.[(triple7)] @1: The bald eagle does not eat the mouse.[(((triple5) -> rule4))] The bald eagle is blue.[(((triple1) -> rule5))] @2: The bald eagle is rough.[(((((triple1) -> rule5)) -> rule8))] The mouse likes the rabbit.[(((((triple1) -> rule5) ((triple5) -> rule4)) -> rule6))] @3: The mouse is blue.[(((((((triple1) -> rule5) ((triple5) -> rule4)) -> rule6)) -> rule5))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The mouse is rough.
("mouse" "is" "rough" "+")
triple2
((((((((triple1) -> (rule5 % int5)) ((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int3
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int5
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple3
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple5
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple6
The squirrel is not red.
("squirrel" "is" "red" "-")
triple7
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
((triple5) -> (rule4 % int1))
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
((((triple1) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
((((((triple1) -> (rule5 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4