The bald eagle eats the bear. The bald eagle is cold. The bald eagle is rough. The bald eagle is young. The bald eagle visits the bear. The bear is cold. The cow is big. The cow is cold. The cow visits the bald eagle. The cow visits the bear. If something is big and it eats the cow then it likes the cow. If something visits the bald eagle then the bald eagle is not big. If the bald eagle likes the bear and the bald eagle does not eat the cow then the bald eagle is big. If something is green then it is young. If something visits the bear and it is not cold then the bear is not big. If something likes the bear and the bear likes the bald eagle then the bear is not green.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is cold.
("bear" "is" "cold" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If something is big and it eats the cow then it likes the cow.
((("something" "is" "big" "+") ("something" "eats" "cow" "+")) -> ("something" "likes" "cow" "+"))
If something visits the bald eagle then the bald eagle is not big.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "big" "-"))
If the bald eagle likes the bear and the bald eagle does not eat the cow then the bald eagle is big.
((("bald eagle" "likes" "bear" "+") ("bald eagle" "eats" "cow" "~")) -> ("bald eagle" "is" "big" "+"))
If something is green then it is young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something visits the bear and it is not cold then the bear is not big.
((("something" "visits" "bear" "+") ("something" "is" "cold" "~")) -> ("bear" "is" "big" "-"))
If something likes the bear and the bear likes the bald eagle then the bear is not green.
((("something" "likes" "bear" "+") ("bear" "likes" "bald eagle" "+")) -> ("bear" "is" "green" "-"))
The bald eagle visits the bear.
True
1
proof
[(triple5)]
("bald eagle" "visits" "bear" "+")
triple5
The bald eagle is not young.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "young" "-")
triple4
The bald eagle is not big.
True
2
proof
[(((triple9) -> rule2))]
("bald eagle" "is" "big" "-")
((triple9) -> (rule2 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1
The bald eagle is big.
False
2
inv-proof
[(((triple9) -> rule2))]
("bald eagle" "is" "big" "+")
((triple9) -> (rule2 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "young" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "cow" "+")
The cow does not like the bald eagle.
Unknown
inv-random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle visits the bear.[(triple5)] The bear is cold.[(triple6)] The cow is big.[(triple7)] The cow is cold.[(triple8)] The cow visits the bald eagle.[(triple9)] The cow visits the bear.[(triple10)] @1: The bald eagle is not big.[(((triple9) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow is cold.
("cow" "is" "cold" "+")
triple8
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple9
The cow visits the bear.
("cow" "visits" "bear" "+")
triple10
The bald eagle is not big.
("bald eagle" "is" "big" "-")
((triple9) -> (rule2 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1