The bald eagle sees the mouse. The dog chases the bald eagle. The dog does not chase the mouse. The dog needs the bald eagle. The dog needs the lion. The dog needs the mouse. The dog sees the bald eagle. The dog sees the mouse. The lion chases the bald eagle. The lion chases the mouse. The lion is green. The mouse chases the dog. The mouse needs the dog. The mouse needs the lion. The mouse sees the dog. The mouse sees the lion. If something needs the bald eagle then the bald eagle chases the lion.
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is green.
("lion" "is" "green" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If something needs the bald eagle then the bald eagle chases the lion.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
The dog chases the bald eagle.
True
1
proof
[(triple2)]
("dog" "chases" "bald eagle" "+")
triple2
The mouse does not see the dog.
False
1
inv-proof
[(triple15)]
("mouse" "sees" "dog" "-")
triple15
The bald eagle chases the lion.
True
2
proof
[(((triple4) -> rule1))]
("bald eagle" "chases" "lion" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle does not chase the lion.
False
2
inv-proof
[(((triple4) -> rule1))]
("bald eagle" "chases" "lion" "-")
((triple4) -> (rule1 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The lion sees the mouse.
Unknown
random
[@0: The lion sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "mouse" "+")
@0: The bald eagle sees the mouse.[(triple1)] The dog chases the bald eagle.[(triple2)] The dog does not chase the mouse.[(triple3)] The dog needs the bald eagle.[(triple4)] The dog needs the lion.[(triple5)] The dog needs the mouse.[(triple6)] The dog sees the bald eagle.[(triple7)] The dog sees the mouse.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion chases the mouse.[(triple10)] The lion is green.[(triple11)] The mouse chases the dog.[(triple12)] The mouse needs the dog.[(triple13)] The mouse needs the lion.[(triple14)] The mouse sees the dog.[(triple15)] The mouse sees the lion.[(triple16)] @1: The bald eagle chases the lion.[(((triple4) -> rule1))]
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple2
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
triple3
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple4
The dog needs the lion.
("dog" "needs" "lion" "+")
triple5
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple6
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple7
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple8
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple9
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple10
The lion is green.
("lion" "is" "green" "+")
triple11
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple12
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple13
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple14
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple15
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple16
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1