The bald eagle is rough. The bald eagle sees the cat. The cat eats the lion. The lion chases the mouse. The lion is red. The mouse eats the bald eagle. The mouse is round. If the cat chases the mouse and the mouse sees the bald eagle then the mouse eats the cat. If someone is round then they chase the bald eagle. If the cat eats the mouse and the cat sees the mouse then the mouse is cold. If someone is rough then they are cold. If the bald eagle is round then the bald eagle sees the mouse. If the lion chases the bald eagle and the lion eats the bald eagle then the bald eagle eats the mouse.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is red.
("lion" "is" "red" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is round.
("mouse" "is" "round" "+")
If the cat chases the mouse and the mouse sees the bald eagle then the mouse eats the cat.
((("cat" "chases" "mouse" "+") ("mouse" "sees" "bald eagle" "+")) -> ("mouse" "eats" "cat" "+"))
If someone is round then they chase the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the cat eats the mouse and the cat sees the mouse then the mouse is cold.
((("cat" "eats" "mouse" "+") ("cat" "sees" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
If someone is rough then they are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If the bald eagle is round then the bald eagle sees the mouse.
((("bald eagle" "is" "round" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If the lion chases the bald eagle and the lion eats the bald eagle then the bald eagle eats the mouse.
((("lion" "chases" "bald eagle" "+") ("lion" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
The mouse eats the bald eagle.
True
1
proof
[(triple6)]
("mouse" "eats" "bald eagle" "+")
triple6
The cat does not eat the lion.
False
1
inv-proof
[(triple3)]
("cat" "eats" "lion" "-")
triple3
The mouse chases the bald eagle.
True
2
proof
[(((triple7) -> rule2))]
("mouse" "chases" "bald eagle" "+")
((triple7) -> (rule2 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse does not chase the bald eagle.
False
2
inv-proof
[(((triple7) -> rule2))]
("mouse" "chases" "bald eagle" "-")
((triple7) -> (rule2 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The bald eagle does not see the mouse.
Unknown
inv-rconc
[@1: The bald eagle sees the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "mouse" "-")
The lion chases the bald eagle.
Unknown
rconc
[@1: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "bald eagle" "+")
The bald eagle does not chase the cat.
Unknown
inv-random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle sees the cat.[(triple2)] The cat eats the lion.[(triple3)] The lion chases the mouse.[(triple4)] The lion is red.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse is round.[(triple7)] @1: The bald eagle is cold.[(((triple1) -> rule4))] The mouse chases the bald eagle.[(((triple7) -> rule2))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple2
The cat eats the lion.
("cat" "eats" "lion" "+")
triple3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple4
The lion is red.
("lion" "is" "red" "+")
triple5
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple1) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((triple7) -> (rule2 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1