The bald eagle eats the mouse. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle needs the mouse. The bald eagle visits the mouse. The lion eats the mouse. The lion is big. The lion is green. The lion is rough. The lion needs the bald eagle. The lion visits the mouse. The mouse is cold. The mouse is green. The mouse needs the lion. The mouse visits the bald eagle. If something is cold then it eats the mouse.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something is cold then it eats the mouse.
((("something" "is" "cold" "+")) -> ("something" "eats" "mouse" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple11)]
("lion" "needs" "bald eagle" "+")
triple11
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "mouse" "-")
triple1
The mouse eats the mouse.
True
2
proof
[(((triple13) -> rule1))]
("mouse" "eats" "mouse" "+")
((triple13) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not eat the mouse.
False
2
inv-proof
[(((triple13) -> rule1))]
("mouse" "eats" "mouse" "-")
((triple13) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The mouse eats the bald eagle.
Unknown
random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bald eagle visits the mouse.[(triple6)] The lion eats the mouse.[(triple7)] The lion is big.[(triple8)] The lion is green.[(triple9)] The lion is rough.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion visits the mouse.[(triple12)] The mouse is cold.[(triple13)] The mouse is green.[(triple14)] The mouse needs the lion.[(triple15)] The mouse visits the bald eagle.[(triple16)] @1: The mouse eats the mouse.[(((triple13) -> rule1))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple6
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple13
The mouse is green.
("mouse" "is" "green" "+")
triple14
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple15
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple16
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple13) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1