The bald eagle is cold. The dog visits the lion. The lion sees the mouse. The mouse eats the lion. If the bald eagle is rough and the mouse does not eat the bald eagle then the bald eagle does not visit the dog. If someone eats the dog and they are not rough then the dog does not see the lion. If someone eats the lion then the lion is young.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
If the bald eagle is rough and the mouse does not eat the bald eagle then the bald eagle does not visit the dog.
((("bald eagle" "is" "rough" "+") ("mouse" "eats" "bald eagle" "~")) -> ("bald eagle" "visits" "dog" "-"))
If someone eats the dog and they are not rough then the dog does not see the lion.
((("someone" "eats" "dog" "+") ("someone" "is" "rough" "~")) -> ("dog" "sees" "lion" "-"))
If someone eats the lion then the lion is young.
((("someone" "eats" "lion" "+")) -> ("lion" "is" "young" "+"))
The mouse eats the lion.
True
1
proof
[(triple4)]
("mouse" "eats" "lion" "+")
triple4
The mouse does not eat the lion.
False
1
inv-proof
[(triple4)]
("mouse" "eats" "lion" "-")
triple4
The lion is young.
True
2
proof
[(((triple4) -> rule3))]
("lion" "is" "young" "+")
((triple4) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not young.
False
2
inv-proof
[(((triple4) -> rule3))]
("lion" "is" "young" "-")
((triple4) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The lion visits the bald eagle.
Unknown
random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The bald eagle is cold.[(triple1)] The dog visits the lion.[(triple2)] The lion sees the mouse.[(triple3)] The mouse eats the lion.[(triple4)] @1: The lion is young.[(((triple4) -> rule3))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The dog visits the lion.
("dog" "visits" "lion" "+")
triple2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple3
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
((triple4) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1