The bald eagle is green. The bald eagle is round. The cow eats the bald eagle. The cow eats the squirrel. The cow is green. The cow needs the bald eagle. The squirrel needs the cow. If someone eats the bald eagle then they do not visit the bald eagle. If someone visits the cow and the cow eats the bald eagle then they eat the cow. If someone visits the bald eagle then the bald eagle does not need the squirrel.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is green.
("cow" "is" "green" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If someone eats the bald eagle then they do not visit the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "-"))
If someone visits the cow and the cow eats the bald eagle then they eat the cow.
((("someone" "visits" "cow" "+") ("cow" "eats" "bald eagle" "+")) -> ("someone" "eats" "cow" "+"))
If someone visits the bald eagle then the bald eagle does not need the squirrel.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "squirrel" "-"))
The cow eats the squirrel.
True
1
proof
[(triple4)]
("cow" "eats" "squirrel" "+")
triple4
The cow is not green.
False
1
inv-proof
[(triple5)]
("cow" "is" "green" "-")
triple5
The cow does not visit the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("cow" "visits" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
int1
The cow visits the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "visits" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
int1
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "cow" "-")
The bald eagle eats the cow.
Unknown
rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "cow" "+")
The cow does not visit the squirrel.
Unknown
inv-random
[@0: The cow visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "squirrel" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is round.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow eats the squirrel.[(triple4)] The cow is green.[(triple5)] The cow needs the bald eagle.[(triple6)] The squirrel needs the cow.[(triple7)] @1: The cow does not visit the bald eagle.[(((triple3) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple7
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
int1