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