The bald eagle eats the cow. The bear needs the squirrel. The cow eats the squirrel. The squirrel is rough. If something sees the bear then the bear is red. If something needs the bald eagle and it needs the cow then the cow is young. If something is red and it sees the bald eagle then the bald eagle eats the bear. If something needs the squirrel then it eats the cow. If something sees the bald eagle and it is round then it sees the squirrel. If something eats the bear then it needs the cow.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If something sees the bear then the bear is red.
((("something" "sees" "bear" "+")) -> ("bear" "is" "red" "+"))
If something needs the bald eagle and it needs the cow then the cow is young.
((("something" "needs" "bald eagle" "+") ("something" "needs" "cow" "+")) -> ("cow" "is" "young" "+"))
If something is red and it sees the bald eagle then the bald eagle eats the bear.
((("something" "is" "red" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If something needs the squirrel then it eats the cow.
((("something" "needs" "squirrel" "+")) -> ("something" "eats" "cow" "+"))
If something sees the bald eagle and it is round then it sees the squirrel.
((("something" "sees" "bald eagle" "+") ("something" "is" "round" "+")) -> ("something" "sees" "squirrel" "+"))
If something eats the bear then it needs the cow.
((("something" "eats" "bear" "+")) -> ("something" "needs" "cow" "+"))
The squirrel is rough.
True
1
proof
[(triple4)]
("squirrel" "is" "rough" "+")
triple4
The squirrel is not rough.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "rough" "-")
triple4
The bear eats the cow.
True
2
proof
[(((triple2) -> rule4))]
("bear" "eats" "cow" "+")
((triple2) -> (rule4 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule4))]
("bear" "eats" "cow" "-")
((triple2) -> (rule4 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "young" "-")
The bald eagle needs the cow.
Unknown
rconc
[@2: The bald eagle needs the cow.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("bald eagle" "needs" "cow" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The cow eats the bear.
Unknown
random
[@0: The cow eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bear" "+")
@0: The bald eagle eats the cow.[(triple1)] The bear needs the squirrel.[(triple2)] The cow eats the squirrel.[(triple3)] The squirrel is rough.[(triple4)] @1: The bear eats the cow.[(((triple2) -> rule4))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple2
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The bear eats the cow.
("bear" "eats" "cow" "+")
((triple2) -> (rule4 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1