The bald eagle is round. The bald eagle sees the mouse. The bald eagle visits the bear. The bear is not big. The bear needs the bald eagle. The bear needs the cow. The bear sees the bald eagle. The bear sees the cow. The bear does not visit the bald eagle. The bear visits the cow. The cow is cold. The cow is not young. The cow needs the mouse. The cow does not see the bear. The mouse needs the bald eagle. The mouse sees the bald eagle. If someone is big then they see the bear. If someone needs the cow and the cow sees the bald eagle then they do not visit the cow. If the bald eagle needs the cow and the bald eagle is not big then the bald eagle is round. If someone is young and round then they do not need the cow. If someone sees the mouse then they are young. If someone needs the cow then the cow visits the mouse.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is not big.
("bear" "is" "big" "-")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow does not see the bear.
("cow" "sees" "bear" "-")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If someone is big then they see the bear.
((("someone" "is" "big" "+")) -> ("someone" "sees" "bear" "+"))
If someone needs the cow and the cow sees the bald eagle then they do not visit the cow.
((("someone" "needs" "cow" "+") ("cow" "sees" "bald eagle" "+")) -> ("someone" "visits" "cow" "-"))
If the bald eagle needs the cow and the bald eagle is not big then the bald eagle is round.
((("bald eagle" "needs" "cow" "+") ("bald eagle" "is" "big" "~")) -> ("bald eagle" "is" "round" "+"))
If someone is young and round then they do not need the cow.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "needs" "cow" "-"))
If someone sees the mouse then they are young.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "young" "+"))
If someone needs the cow then the cow visits the mouse.
((("someone" "needs" "cow" "+")) -> ("cow" "visits" "mouse" "+"))
The bear visits the cow.
True
1
proof
[(triple10)]
("bear" "visits" "cow" "+")
triple10
The cow does not need the mouse.
False
1
inv-proof
[(triple13)]
("cow" "needs" "mouse" "-")
triple13
The bald eagle is young.
True
2
proof
[(((triple2) -> rule5))]
("bald eagle" "is" "young" "+")
((triple2) -> (rule5 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is not young.
False
2
inv-proof
[(((triple2) -> rule5))]
("bald eagle" "is" "young" "-")
((triple2) -> (rule5 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle does not need the cow.
True
4
proof
[(((((triple2) -> rule5) triple1) -> rule4))]
("bald eagle" "needs" "cow" "-")
((((triple2) -> (rule5 % int2)) triple1) -> (rule4 % int1))
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle needs the cow.
False
4
inv-proof
[(((((triple2) -> rule5) triple1) -> rule4))]
("bald eagle" "needs" "cow" "+")
((((triple2) -> (rule5 % int2)) triple1) -> (rule4 % int1))
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "young" "-")
The mouse is young.
Unknown
rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "young" "+")
The bald eagle does not see the bear.
Unknown
inv-rconc
[@1: The bald eagle sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "bear" "-")
The mouse needs the bear.
Unknown
random
[@0: The mouse needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bear" "+")
The bald eagle does not see the cow.
Unknown
inv-random
[@0: The bald eagle sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cow" "-")
The mouse visits the bear.
Unknown
random
[@0: The mouse visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bear" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear does not visit the bald eagle.[(triple9)] The bear is not big.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear needs the cow.[(triple6)] The bear sees the bald eagle.[(triple7)] The bear sees the cow.[(triple8)] The bear visits the cow.[(triple10)] The cow does not see the bear.[(triple14)] The cow is cold.[(triple11)] The cow is not young.[(triple12)] The cow needs the mouse.[(triple13)] The mouse needs the bald eagle.[(triple15)] The mouse sees the bald eagle.[(triple16)] @1: The bald eagle is young.[(((triple2) -> rule5))] The cow visits the mouse.[(((triple6) -> rule6))] @2: The bald eagle does not need the cow.[(((((triple2) -> rule5) triple1) -> rule4))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
triple9
The bear is not big.
("bear" "is" "big" "-")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
The bear needs the cow.
("bear" "needs" "cow" "+")
triple6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple7
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
The bear visits the cow.
("bear" "visits" "cow" "+")
triple10
The cow does not see the bear.
("cow" "sees" "bear" "-")
triple14
The cow is cold.
("cow" "is" "cold" "+")
triple11
The cow is not young.
("cow" "is" "young" "-")
triple12
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple13
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple15
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple16
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple2) -> (rule5 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
((triple6) -> (rule6 % int1))
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int1
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
((((triple2) -> (rule5 % int2)) triple1) -> (rule4 % int1))
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2