The bald eagle visits the cat. The bear is kind. The cat visits the cow. The cow eats the cat. If someone is kind and they eat the bald eagle then the bald eagle visits the bear. If someone is kind then they eat the bald eagle.
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bear is kind.
("bear" "is" "kind" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
If someone is kind and they eat the bald eagle then the bald eagle visits the bear.
((("someone" "is" "kind" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
If someone is kind then they eat the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "bald eagle" "+"))
The bear is kind.
True
1
proof
[(triple2)]
("bear" "is" "kind" "+")
triple2
The bald eagle does not visit the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "cat" "-")
triple1
The bear eats the bald eagle.
True
2
proof
[(((triple2) -> rule2))]
("bear" "eats" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear does not eat the bald eagle.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "eats" "bald eagle" "-")
((triple2) -> (rule2 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bald eagle visits the bear.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("bald eagle" "visits" "bear" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bald eagle does not visit the bear.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("bald eagle" "visits" "bear" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The cow does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The cat does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "bald eagle" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The bald eagle does not visit the cow.
Unknown
inv-random
[@0: The bald eagle visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cow" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The bald eagle visits the cat.[(triple1)] The bear is kind.[(triple2)] The cat visits the cow.[(triple3)] The cow eats the cat.[(triple4)] @1: The bear eats the bald eagle.[(((triple2) -> rule2))] @2: The bald eagle visits the bear.[(((triple2 ((triple2) -> rule2)) -> rule1))]
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The cat visits the cow.
("cat" "visits" "cow" "+")
triple3
The cow eats the cat.
("cow" "eats" "cat" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2