The bald eagle eats the lion. The bald eagle eats the mouse. The bald eagle is young. The bald eagle likes the lion. The bald eagle likes the mouse. The lion chases the bald eagle. The lion chases the mouse. The lion eats the bald eagle. The lion is big. The lion likes the bald eagle. The mouse chases the lion. The mouse eats the bald eagle. The mouse eats the lion. The mouse is kind. The mouse is young. If something chases the bald eagle and it eats the mouse then the mouse eats the bald eagle. If something likes the mouse then it likes the bald eagle. If something chases the bald eagle then it is red. If something is red and it chases the bald eagle then the bald eagle is red. If something eats the mouse and it is red then the mouse chases the lion. All red things are young.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is young.
("mouse" "is" "young" "+")
If something chases the bald eagle and it eats the mouse then the mouse eats the bald eagle.
((("something" "chases" "bald eagle" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If something likes the mouse then it likes the bald eagle.
((("something" "likes" "mouse" "+")) -> ("something" "likes" "bald eagle" "+"))
If something chases the bald eagle then it is red.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "red" "+"))
If something is red and it chases the bald eagle then the bald eagle is red.
((("something" "is" "red" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If something eats the mouse and it is red then the mouse chases the lion.
((("something" "eats" "mouse" "+") ("something" "is" "red" "+")) -> ("mouse" "chases" "lion" "+"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
The bald eagle eats the mouse.
True
1
proof
[(triple2)]
("bald eagle" "eats" "mouse" "+")
triple2
The lion does not chase the mouse.
False
1
inv-proof
[(triple7)]
("lion" "chases" "mouse" "-")
triple7
The bald eagle likes the bald eagle.
True
2
proof
[(((triple5) -> rule2))]
("bald eagle" "likes" "bald eagle" "+")
((triple5) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The lion is not red.
False
2
inv-proof
[(((triple6) -> rule3))]
("lion" "is" "red" "-")
((triple6) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The mouse does not like the bald eagle.
Unknown
inv-rconc
[@1: The mouse likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "bald eagle" "-")
The mouse is red.
Unknown
rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "red" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle chases the mouse.
Unknown
random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is young.[(triple3 OR ((((((triple6) -> rule3) triple6) -> rule4)) -> rule6))] The bald eagle likes the lion.[(triple4)] The bald eagle likes the mouse.[(triple5)] The lion chases the bald eagle.[(triple6)] The lion chases the mouse.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion is big.[(triple9)] The lion likes the bald eagle.[(triple10)] The mouse chases the lion.[(triple11 OR ((triple2 ((((triple6) -> rule3) triple6) -> rule4)) -> rule5))] The mouse eats the bald eagle.[(triple12)] The mouse eats the lion.[(triple13)] The mouse is kind.[(triple14)] The mouse is young.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple5) -> rule2))] The lion is red.[(((triple6) -> rule3))] @2: The bald eagle is red.[(((((triple6) -> rule3) triple6) -> rule4))] The lion is young.[(((((triple6) -> rule3)) -> rule6))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
((((((triple6) -> (rule3 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple5
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple6
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple7
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple8
The lion is big.
("lion" "is" "big" "+")
triple9
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple10
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple11
((triple2 ((((triple6) -> (rule3 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple12
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple13
The mouse is kind.
("mouse" "is" "kind" "+")
triple14
The mouse is young.
("mouse" "is" "young" "+")
triple15
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple5) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The lion is red.
("lion" "is" "red" "+")
((triple6) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple6) -> (rule3 % int2)) triple6) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2