The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is round. The bald eagle sees the lion. The bald eagle visits the lion. The bald eagle visits the mouse. The lion is rough. The lion visits the bald eagle. The mouse chases the bald eagle. The mouse is green. The mouse is rough. The mouse visits the bald eagle. If something visits the lion then the lion sees the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something visits the lion then the lion sees the mouse.
((("something" "visits" "lion" "+")) -> ("lion" "sees" "mouse" "+"))
The mouse visits the bald eagle.
True
1
proof
[(triple12)]
("mouse" "visits" "bald eagle" "+")
triple12
The bald eagle does not visit the mouse.
False
1
inv-proof
[(triple6)]
("bald eagle" "visits" "mouse" "-")
triple6
The lion sees the mouse.
True
2
proof
[(((triple5) -> rule1))]
("lion" "sees" "mouse" "+")
((triple5) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The lion does not see the mouse.
False
2
inv-proof
[(((triple5) -> rule1))]
("lion" "sees" "mouse" "-")
((triple5) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the lion.[(triple4)] The bald eagle visits the lion.[(triple5)] The bald eagle visits the mouse.[(triple6)] The lion is rough.[(triple7)] The lion visits the bald eagle.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse is green.[(triple10)] The mouse is rough.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The lion sees the mouse.[(((triple5) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple8
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
triple11
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple12
The lion sees the mouse.
("lion" "sees" "mouse" "+")
((triple5) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1