The bald eagle eats the lion. The cow needs the bald eagle. The cow needs the lion. The cow needs the mouse. The lion is cold. The mouse likes the bald eagle. The mouse likes the cow. If someone eats the lion then the lion needs the mouse.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
If someone eats the lion then the lion needs the mouse.
((("someone" "eats" "lion" "+")) -> ("lion" "needs" "mouse" "+"))
The cow needs the mouse.
True
1
proof
[(triple4)]
("cow" "needs" "mouse" "+")
triple4
The lion is not cold.
False
1
inv-proof
[(triple5)]
("lion" "is" "cold" "-")
triple5
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The bald eagle eats the lion.[(triple1)] The cow needs the bald eagle.[(triple2)] The cow needs the lion.[(triple3)] The cow needs the mouse.[(triple4)] The lion is cold.[(triple5)] The mouse likes the bald eagle.[(triple6)] The mouse likes the cow.[(triple7)] @1: The lion needs the mouse.[(((triple1) -> rule1))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple2
The cow needs the lion.
("cow" "needs" "lion" "+")
triple3
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple6
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple7
The lion needs the mouse.
("lion" "needs" "mouse" "+")
((triple1) -> (rule1 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1