The bald eagle does not chase the bear. The bald eagle needs the bear. The bear does not chase the cow. The bear is kind. The cow does not chase the bald eagle. The cow chases the bear. The cow is round. If the bald eagle is red and the bald eagle needs the bear then the bear eats the cow. If someone chases the cow then the cow is not kind. If the cow is young and the cow does not need the bald eagle then the cow needs the bear. If someone is young then they do not chase the cow. If the bear is round then the bear needs the cow. Kind people are young. If someone is young then they do not chase the bear. If the cow eats the bear and the bear chases the bald eagle then the bald eagle does not need the bear.
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear does not chase the cow.
("bear" "chases" "cow" "-")
The bear is kind.
("bear" "is" "kind" "+")
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is round.
("cow" "is" "round" "+")
If the bald eagle is red and the bald eagle needs the bear then the bear eats the cow.
((("bald eagle" "is" "red" "+") ("bald eagle" "needs" "bear" "+")) -> ("bear" "eats" "cow" "+"))
If someone chases the cow then the cow is not kind.
((("someone" "chases" "cow" "+")) -> ("cow" "is" "kind" "-"))
If the cow is young and the cow does not need the bald eagle then the cow needs the bear.
((("cow" "is" "young" "+") ("cow" "needs" "bald eagle" "~")) -> ("cow" "needs" "bear" "+"))
If someone is young then they do not chase the cow.
((("someone" "is" "young" "+")) -> ("someone" "chases" "cow" "-"))
If the bear is round then the bear needs the cow.
((("bear" "is" "round" "+")) -> ("bear" "needs" "cow" "+"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they do not chase the bear.
((("someone" "is" "young" "+")) -> ("someone" "chases" "bear" "-"))
If the cow eats the bear and the bear chases the bald eagle then the bald eagle does not need the bear.
((("cow" "eats" "bear" "+") ("bear" "chases" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "-"))
The bear is kind.
True
1
proof
[(triple4)]
("bear" "is" "kind" "+")
triple4
The bear is not kind.
False
1
inv-proof
[(triple4)]
("bear" "is" "kind" "-")
triple4
The bear is young.
True
2
proof
[(((triple4) -> rule6))]
("bear" "is" "young" "+")
((triple4) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple4) -> rule6))]
("bear" "is" "young" "-")
((triple4) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cow does not need the bear.
Unknown
inv-rconc
[@1: The cow needs the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "bear" "-")
The bear needs the cow.
Unknown
rconc
[@1: The bear needs the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "needs" "cow" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
@0: The bald eagle does not chase the bear.[(triple1)] The bald eagle needs the bear.[(triple2)] The bear does not chase the cow.[(triple3 OR ((((triple4) -> rule6)) -> rule4))] The bear is kind.[(triple4)] The cow chases the bear.[(triple6)] The cow does not chase the bald eagle.[(triple5)] The cow is round.[(triple7)] @1: The bear is young.[(((triple4) -> rule6))] @2: The bear does not chase the bear.[(((((triple4) -> rule6)) -> rule7))]
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bear does not chase the cow.
("bear" "chases" "cow" "-")
triple3
((((triple4) -> (rule6 % int2))) -> (rule4 % int1))
The bear does not chase the cow.
("bear" "chases" "cow" "-")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
triple4
The cow chases the bear.
("cow" "chases" "bear" "+")
triple6
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
triple5
The cow is round.
("cow" "is" "round" "+")
triple7
The bear is young.
("bear" "is" "young" "+")
((triple4) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear does not chase the bear.
("bear" "chases" "bear" "-")
((((triple4) -> (rule6 % int2))) -> (rule7 % int1))
The bear does not chase the bear.
("bear" "chases" "bear" "-")
int1
The bear is young.
("bear" "is" "young" "+")
int2