The bald eagle does not chase the lion. The bald eagle chases the mouse. The bald eagle eats the lion. The bald eagle does not eat the mouse. The bald eagle is kind. The bald eagle is round. The bald eagle is young. The bald eagle likes the lion. The bald eagle likes the mouse. The lion chases the mouse. The lion is rough. The lion is round. The mouse chases the lion. The mouse is kind. The mouse likes the lion. If someone likes the bald eagle and the bald eagle does not eat the mouse then the mouse likes the lion.
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
If someone likes the bald eagle and the bald eagle does not eat the mouse then the mouse likes the lion.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "eats" "mouse" "~")) -> ("mouse" "likes" "lion" "+"))
The bald eagle likes the lion.
True
1
proof
[(triple8)]
("bald eagle" "likes" "lion" "+")
triple8
The bald eagle is not young.
False
1
inv-proof
[(triple7)]
("bald eagle" "is" "young" "-")
triple7
The mouse does not eat the bald eagle.
Unknown
inv-random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "-")
The lion likes the mouse.
Unknown
random
[@0: The lion likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple2)] The bald eagle does not chase the lion.[(triple1)] The bald eagle does not eat the mouse.[(triple4)] The bald eagle eats the lion.[(triple3)] The bald eagle is kind.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle is young.[(triple7)] The bald eagle likes the lion.[(triple8)] The bald eagle likes the mouse.[(triple9)] The lion chases the mouse.[(triple10)] The lion is rough.[(triple11)] The lion is round.[(triple12)] The mouse chases the lion.[(triple13)] The mouse is kind.[(triple14)] The mouse likes the lion.[(triple15)]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
triple1
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
triple4
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple7
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple8
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple9
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple10
The lion is rough.
("lion" "is" "rough" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple13
The mouse is kind.
("mouse" "is" "kind" "+")
triple14
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple15