The bald eagle needs the rabbit. The cow eats the bald eagle. The dog eats the cow. The rabbit sees the bald eagle. If someone eats the rabbit then they eat the dog. If someone sees the dog then the dog needs the bald eagle. If someone eats the bald eagle then the bald eagle eats the rabbit.
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone eats the rabbit then they eat the dog.
((("someone" "eats" "rabbit" "+")) -> ("someone" "eats" "dog" "+"))
If someone sees the dog then the dog needs the bald eagle.
((("someone" "sees" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
If someone eats the bald eagle then the bald eagle eats the rabbit.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple2)]
("cow" "eats" "bald eagle" "+")
triple2
The bald eagle does not need the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "rabbit" "-")
triple1
The bald eagle eats the rabbit.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "eats" "rabbit" "+")
((triple2) -> (rule3 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle does not eat the rabbit.
False
2
inv-proof
[(((triple2) -> rule3))]
("bald eagle" "eats" "rabbit" "-")
((triple2) -> (rule3 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The cow does not eat the dog.
Unknown
inv-rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "dog" "-")
The dog needs the bald eagle.
Unknown
rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "bald eagle" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bald eagle needs the rabbit.[(triple1)] The cow eats the bald eagle.[(triple2)] The dog eats the cow.[(triple3)] The rabbit sees the bald eagle.[(triple4)] @1: The bald eagle eats the rabbit.[(((triple2) -> rule3))] @2: The bald eagle eats the dog.[(((((triple2) -> rule3)) -> rule1))]
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple2
The dog eats the cow.
("dog" "eats" "cow" "+")
triple3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple4
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((triple2) -> (rule3 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2