The bald eagle chases the mouse. The bear chases the mouse. The lion does not see the bear. The mouse is young. If someone chases the mouse then they do not chase the lion.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The lion does not see the bear.
("lion" "sees" "bear" "-")
The mouse is young.
("mouse" "is" "young" "+")
If someone chases the mouse then they do not chase the lion.
((("someone" "chases" "mouse" "+")) -> ("someone" "chases" "lion" "-"))
The mouse is young.
True
1
proof
[(triple4)]
("mouse" "is" "young" "+")
triple4
The lion sees the bear.
False
1
inv-proof
[(triple3)]
("lion" "sees" "bear" "+")
triple3
The bald eagle does not chase the lion.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "chases" "lion" "-")
((triple1) -> (rule1 % int1))
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
int1
The bear chases the lion.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "chases" "lion" "+")
((triple2) -> (rule1 % int1))
The bear does not chase the lion.
("bear" "chases" "lion" "-")
int1
The mouse does not chase the bald eagle.
Unknown
inv-random
[@0: The mouse chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bald eagle" "-")
The lion sees the bald eagle.
Unknown
random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "+")
The bald eagle does not see the lion.
Unknown
inv-random
[@0: The bald eagle sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "lion" "-")
The mouse sees the bald eagle.
Unknown
random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bear chases the mouse.[(triple2)] The lion does not see the bear.[(triple3)] The mouse is young.[(triple4)] @1: The bald eagle does not chase the lion.[(((triple1) -> rule1))] The bear does not chase the lion.[(((triple2) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The lion does not see the bear.
("lion" "sees" "bear" "-")
triple3
The mouse is young.
("mouse" "is" "young" "+")
triple4
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
((triple1) -> (rule1 % int1))
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
int1
The bear does not chase the lion.
("bear" "chases" "lion" "-")
((triple2) -> (rule1 % int1))
The bear does not chase the lion.
("bear" "chases" "lion" "-")
int1