The bald eagle is big. The bald eagle is green. The bald eagle likes the bear. The bald eagle sees the bear. The bear chases the bald eagle. The bear is green. The bear is kind. The bear is rough. The bear does not like the bald eagle. The bear sees the bald eagle. If someone likes the bald eagle then they do not see the bald eagle. All kind people are blue. If someone is big and they like the bear then they do not chase the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
If someone likes the bald eagle then they do not see the bald eagle.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "bald eagle" "-"))
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and they like the bear then they do not chase the bald eagle.
((("someone" "is" "big" "+") ("someone" "likes" "bear" "+")) -> ("someone" "chases" "bald eagle" "-"))
The bear sees the bald eagle.
True
1
proof
[(triple10)]
("bear" "sees" "bald eagle" "+")
triple10
The bear is not kind.
False
1
inv-proof
[(triple7)]
("bear" "is" "kind" "-")
triple7
The bear is blue.
True
2
proof
[(((triple7) -> rule2))]
("bear" "is" "blue" "+")
((triple7) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bald eagle chases the bald eagle.
False
3
inv-proof
[(((triple1 triple3) -> rule3))]
("bald eagle" "chases" "bald eagle" "+")
((triple1 triple3) -> (rule3 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear does not like the bald eagle.[(triple9)] The bear is green.[(triple6)] The bear is kind.[(triple7)] The bear is rough.[(triple8)] The bear sees the bald eagle.[(triple10)] @1: The bald eagle does not chase the bald eagle.[(((triple1 triple3) -> rule3))] The bear is blue.[(((triple7) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple5
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple9
The bear is green.
("bear" "is" "green" "+")
triple6
The bear is kind.
("bear" "is" "kind" "+")
triple7
The bear is rough.
("bear" "is" "rough" "+")
triple8
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple10
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
((triple1 triple3) -> (rule3 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
((triple7) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1