The bald eagle eats the mouse. The bald eagle is big. The bald eagle is blue. The dog is blue. The lion is not rough. The lion sees the mouse. The mouse needs the dog. If the lion is not rough then the lion is not big.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The dog is blue.
("dog" "is" "blue" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If the lion is not rough then the lion is not big.
((("lion" "is" "rough" "~")) -> ("lion" "is" "big" "-"))
The bald eagle eats the mouse.
True
1
proof
[(triple1)]
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "mouse" "-")
triple1
The mouse does not eat the lion.
Unknown
inv-random
[@0: The mouse eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "lion" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The dog is blue.[(triple4)] The lion is not rough.[(triple5)] The lion sees the mouse.[(triple6)] The mouse needs the dog.[(triple7)] @1: The lion is not big.[(((triple5) -> rule1))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The lion is not rough.
("lion" "is" "rough" "-")
triple5
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple6
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple7
The lion is not big.
("lion" "is" "big" "-")
((triple5) -> (rule1 % int1))
The lion is not big.
("lion" "is" "big" "-")
int1