The bald eagle chases the lion. The cow is round. The lion is green. The mouse is green. The mouse likes the cow. The mouse likes the lion. The mouse sees the lion. If something likes the lion then the lion sees the bald eagle. If something sees the bald eagle and the bald eagle likes the cow then the bald eagle does not chase the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The cow is round.
("cow" "is" "round" "+")
The lion is green.
("lion" "is" "green" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If something likes the lion then the lion sees the bald eagle.
((("something" "likes" "lion" "+")) -> ("lion" "sees" "bald eagle" "+"))
If something sees the bald eagle and the bald eagle likes the cow then the bald eagle does not chase the lion.
((("something" "sees" "bald eagle" "+") ("bald eagle" "likes" "cow" "+")) -> ("bald eagle" "chases" "lion" "-"))
The mouse sees the lion.
True
1
proof
[(triple7)]
("mouse" "sees" "lion" "+")
triple7
The bald eagle does not chase the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "lion" "-")
triple1
The lion sees the bald eagle.
True
2
proof
[(((triple6) -> rule1))]
("lion" "sees" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion does not see the bald eagle.
False
2
inv-proof
[(((triple6) -> rule1))]
("lion" "sees" "bald eagle" "-")
((triple6) -> (rule1 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
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 cow chases the mouse.
Unknown
random
[@0: The cow chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "mouse" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The bald eagle chases the cow.
Unknown
random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "+")
@0: The bald eagle chases the lion.[(triple1)] The cow is round.[(triple2)] The lion is green.[(triple3)] The mouse is green.[(triple4)] The mouse likes the cow.[(triple5)] The mouse likes the lion.[(triple6)] The mouse sees the lion.[(triple7)] @1: The lion sees the bald eagle.[(((triple6) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
The mouse is green.
("mouse" "is" "green" "+")
triple4
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple5
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple6
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple7
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1