The bald eagle eats the squirrel. The bald eagle is not kind. The cow eats the mouse. The cow is kind. The cow does not like the bald eagle. The cow does not like the squirrel. The mouse likes the cow. The mouse visits the cow. The squirrel does not like the bald eagle. The squirrel likes the mouse. If something visits the squirrel then it is not rough. Nice things are kind. If something is blue then it eats the mouse. If the squirrel eats the cow and the squirrel likes the bald eagle then the bald eagle is not blue. If something eats the cow and it is rough then it visits the squirrel. If something visits the bald eagle then the bald eagle eats the mouse. If something eats the mouse then it eats the bald eagle. If something is rough then it does not eat the bald eagle. If something eats the bald eagle and the bald eagle is not kind then it visits the bald eagle.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If something visits the squirrel then it is not rough.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "rough" "-"))
Nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is blue then it eats the mouse.
((("something" "is" "blue" "+")) -> ("something" "eats" "mouse" "+"))
If the squirrel eats the cow and the squirrel likes the bald eagle then the bald eagle is not blue.
((("squirrel" "eats" "cow" "+") ("squirrel" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "-"))
If something eats the cow and it is rough then it visits the squirrel.
((("something" "eats" "cow" "+") ("something" "is" "rough" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the bald eagle then the bald eagle eats the mouse.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If something eats the mouse then it eats the bald eagle.
((("something" "eats" "mouse" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is rough then it does not eat the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "eats" "bald eagle" "-"))
If something eats the bald eagle and the bald eagle is not kind then it visits the bald eagle.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "kind" "~")) -> ("something" "visits" "bald eagle" "+"))
The cow does not like the squirrel.
True
1
proof
[(triple6)]
("cow" "likes" "squirrel" "-")
triple6
The squirrel likes the bald eagle.
False
1
inv-proof
[(triple9)]
("squirrel" "likes" "bald eagle" "+")
triple9
The cow eats the bald eagle.
True
2
proof
[(((triple3) -> rule7))]
("cow" "eats" "bald eagle" "+")
((triple3) -> (rule7 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The cow does not eat the bald eagle.
False
2
inv-proof
[(((triple3) -> rule7))]
("cow" "eats" "bald eagle" "-")
((triple3) -> (rule7 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The cow visits the bald eagle.
True
4
proof
[(((((triple3) -> rule7) triple2) -> rule9))]
("cow" "visits" "bald eagle" "+")
((((triple3) -> (rule7 % int2)) triple2) -> (rule9 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The cow does not visit the bald eagle.
False
4
inv-proof
[(((((triple3) -> rule7) triple2) -> rule9))]
("cow" "visits" "bald eagle" "-")
((((triple3) -> (rule7 % int2)) triple2) -> (rule9 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The bald eagle eats the mouse.
True
5
proof
[(((((((triple3) -> rule7) triple2) -> rule9)) -> rule6))]
("bald eagle" "eats" "mouse" "+")
((((((triple3) -> (rule7 % int3)) triple2) -> (rule9 % int2))) -> (rule6 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int3
The bald eagle does not eat the mouse.
False
5
inv-proof
[(((((((triple3) -> rule7) triple2) -> rule9)) -> rule6))]
("bald eagle" "eats" "mouse" "-")
((((((triple3) -> (rule7 % int3)) triple2) -> (rule9 % int2))) -> (rule6 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int3
The bald eagle eats the bald eagle.
True
6
proof
[(((((((((triple3) -> rule7) triple2) -> rule9)) -> rule6)) -> rule7))]
("bald eagle" "eats" "bald eagle" "+")
((((((((triple3) -> (rule7 % int4)) triple2) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int4
The bald eagle does not eat the bald eagle.
False
6
inv-proof
[(((((((((triple3) -> rule7) triple2) -> rule9)) -> rule6)) -> rule7))]
("bald eagle" "eats" "bald eagle" "-")
((((((((triple3) -> (rule7 % int4)) triple2) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int4
The bald eagle visits the bald eagle.
True
8
proof
[(((((((((((triple3) -> rule7) triple2) -> rule9)) -> rule6)) -> rule7) triple2) -> rule9))]
("bald eagle" "visits" "bald eagle" "+")
((((((((((triple3) -> (rule7 % int5)) triple2) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple2) -> (rule9 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int4
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int5
The bald eagle does not visit the bald eagle.
False
8
inv-proof
[(((((((((((triple3) -> rule7) triple2) -> rule9)) -> rule6)) -> rule7) triple2) -> rule9))]
("bald eagle" "visits" "bald eagle" "-")
((((((((((triple3) -> (rule7 % int5)) triple2) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple2) -> (rule9 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int4
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int5
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "kind" "-")
The mouse visits the squirrel.
Unknown
rconc
[@1: The mouse visits the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "squirrel" "+")
The mouse does not eat the bald eagle.
Unknown
inv-rconc
[@2: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("mouse" "eats" "bald eagle" "-")
The mouse visits the bald eagle.
Unknown
rconc
[@1: The mouse visits the bald eagle.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("mouse" "visits" "bald eagle" "+")
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse is kind.
Unknown
rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "kind" "+")
The mouse does not like the squirrel.
Unknown
inv-random
[@0: The mouse likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "squirrel" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The squirrel does not visit the mouse.
Unknown
inv-random
[@0: The squirrel visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "mouse" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is not kind.[(triple2)] The cow does not like the bald eagle.[(triple5)] The cow does not like the squirrel.[(triple6)] The cow eats the mouse.[(triple3)] The cow is kind.[(triple4)] The mouse likes the cow.[(triple7)] The mouse visits the cow.[(triple8)] The squirrel does not like the bald eagle.[(triple9)] The squirrel likes the mouse.[(triple10)] @1: The cow eats the bald eagle.[(((triple3) -> rule7))] @2: The cow visits the bald eagle.[(((((triple3) -> rule7) triple2) -> rule9))] @3: The bald eagle eats the mouse.[(((((((triple3) -> rule7) triple2) -> rule9)) -> rule6))] @4: The bald eagle eats the bald eagle.[(((((((((triple3) -> rule7) triple2) -> rule9)) -> rule6)) -> rule7))] @5: The bald eagle visits the bald eagle.[(((((((((((triple3) -> rule7) triple2) -> rule9)) -> rule6)) -> rule7) triple2) -> rule9))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple5
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
triple6
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple7
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple8
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
triple9
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple10
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
((triple3) -> (rule7 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((((triple3) -> (rule7 % int2)) triple2) -> (rule9 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((((((triple3) -> (rule7 % int3)) triple2) -> (rule9 % int2))) -> (rule6 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((((((triple3) -> (rule7 % int4)) triple2) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int4
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((((((((triple3) -> (rule7 % int5)) triple2) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple2) -> (rule9 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int4
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int5