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