The bald eagle eats the cow. The bald eagle likes the mouse. The bald eagle visits the lion. The cow likes the bald eagle. The cow visits the mouse. The lion eats the bald eagle. The lion is young. The lion likes the bald eagle. The lion visits the mouse. The mouse eats the lion. The mouse is blue. The mouse visits the bald eagle. If the cow eats the mouse then the cow visits the mouse. If something eats the bald eagle then it eats the cow. If something visits the lion then the lion visits the bald eagle. If something visits the bald eagle and the bald eagle visits the lion then it eats the mouse. If something likes the mouse and it is kind then it likes the lion. If something eats the lion then the lion visits the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If the cow eats the mouse then the cow visits the mouse.
((("cow" "eats" "mouse" "+")) -> ("cow" "visits" "mouse" "+"))
If something eats the bald eagle then it eats the cow.
((("something" "eats" "bald eagle" "+")) -> ("something" "eats" "cow" "+"))
If something visits the lion then the lion visits the bald eagle.
((("something" "visits" "lion" "+")) -> ("lion" "visits" "bald eagle" "+"))
If something visits the bald eagle and the bald eagle visits the lion then it eats the mouse.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "lion" "+")) -> ("something" "eats" "mouse" "+"))
If something likes the mouse and it is kind then it likes the lion.
((("something" "likes" "mouse" "+") ("something" "is" "kind" "+")) -> ("something" "likes" "lion" "+"))
If something eats the lion then the lion visits the bald eagle.
((("something" "eats" "lion" "+")) -> ("lion" "visits" "bald eagle" "+"))
The lion is young.
True
1
proof
[(triple7)]
("lion" "is" "young" "+")
triple7
The lion does not like the bald eagle.
False
1
inv-proof
[(triple8)]
("lion" "likes" "bald eagle" "-")
triple8
The lion eats the cow.
True
2
proof
[(((triple6) -> rule2))]
("lion" "eats" "cow" "+")
((triple6) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The mouse does not eat the mouse.
False
3
inv-proof
[(((triple12 triple3) -> rule4))]
("mouse" "eats" "mouse" "-")
((triple12 triple3) -> (rule4 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The lion eats the mouse.
True
4
proof
[(((((triple10) -> rule6) triple3) -> rule4) OR ((((triple3) -> rule3) triple3) -> rule4))]
("lion" "eats" "mouse" "+")
((((triple10) -> (rule6 % int2)) triple3) -> (rule4 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
((((triple3) -> (rule3 % int2)) triple3) -> (rule4 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion does not eat the mouse.
False
4
inv-proof
[(((((triple10) -> rule6) triple3) -> rule4) OR ((((triple3) -> rule3) triple3) -> rule4))]
("lion" "eats" "mouse" "-")
((((triple10) -> (rule6 % int2)) triple3) -> (rule4 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
((((triple3) -> (rule3 % int2)) triple3) -> (rule4 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The bald eagle does not like the lion.
Unknown
inv-rconc
[@1: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "lion" "-")
The cow eats the mouse.
Unknown
rconc
[@1: The cow eats the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "mouse" "+")
The bald eagle does not eat the mouse.
Unknown
inv-rconc
[@1: The bald eagle eats the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "mouse" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The cow eats the lion.
Unknown
random
[@0: The cow eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "lion" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle visits the lion.[(triple3)] The cow likes the bald eagle.[(triple4)] The cow visits the mouse.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is young.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion visits the mouse.[(triple9)] The mouse eats the lion.[(triple10)] The mouse is blue.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The lion eats the cow.[(((triple6) -> rule2))] The lion visits the bald eagle.[(((triple10) -> rule6) OR ((triple3) -> rule3))] The mouse eats the mouse.[(((triple12 triple3) -> rule4))] @2: The lion eats the mouse.[(((((triple10) -> rule6) triple3) -> rule4) OR ((((triple3) -> rule3) triple3) -> rule4))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple3
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple4
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple5
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple9
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple12
The lion eats the cow.
("lion" "eats" "cow" "+")
((triple6) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
((triple10) -> (rule6 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
((triple3) -> (rule3 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple12 triple3) -> (rule4 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
((((triple10) -> (rule6 % int2)) triple3) -> (rule4 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
((((triple3) -> (rule3 % int2)) triple3) -> (rule4 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2