The bald eagle chases the mouse. The bald eagle is green. The bald eagle is young. The lion chases the bald eagle. The lion chases the mouse. The lion eats the bald eagle. The lion is cold. The lion is green. The lion sees the mouse. The mouse chases the bald eagle. The mouse chases the lion. The mouse is cold. If someone is young then they are rough. If someone is rough then they eat the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
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 cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they eat the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "mouse" "+"))
The lion chases the bald eagle.
True
1
proof
[(triple4)]
("lion" "chases" "bald eagle" "+")
triple4
The mouse does not chase the bald eagle.
False
1
inv-proof
[(triple10)]
("mouse" "chases" "bald eagle" "-")
triple10
The bald eagle is rough.
True
2
proof
[(((triple3) -> rule1))]
("bald eagle" "is" "rough" "+")
((triple3) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple3) -> rule1))]
("bald eagle" "is" "rough" "-")
((triple3) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the mouse.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("bald eagle" "eats" "mouse" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle does not eat the mouse.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("bald eagle" "eats" "mouse" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The mouse does not eat the mouse.
Unknown
inv-rconc
[@2: The mouse eats the mouse.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse is rough.
Unknown
rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "rough" "+")
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "rough" "-")
The bald eagle sees the lion.
Unknown
random
[@0: The bald eagle sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "lion" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is young.[(triple3)] The lion chases the bald eagle.[(triple4)] The lion chases the mouse.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is cold.[(triple7)] The lion is green.[(triple8)] The lion sees the mouse.[(triple9)] The mouse chases the bald eagle.[(triple10)] The mouse chases the lion.[(triple11)] The mouse is cold.[(triple12)] @1: The bald eagle is rough.[(((triple3) -> rule1))] @2: The bald eagle eats the mouse.[(((((triple3) -> rule1)) -> rule2))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple4
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple5
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion is green.
("lion" "is" "green" "+")
triple8
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple9
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple10
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple11
The mouse is cold.
("mouse" "is" "cold" "+")
triple12
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple3) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2