The bald eagle eats the cow. The cow needs the bald eagle. The lion needs the bald eagle. The rabbit is not rough. If something eats the cow then the cow chases the bald eagle. If something eats the rabbit then it eats the cow. If something is kind and it does not eat the cow then the cow chases the lion.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
If something eats the cow then the cow chases the bald eagle.
((("something" "eats" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
If something eats the rabbit then it eats the cow.
((("something" "eats" "rabbit" "+")) -> ("something" "eats" "cow" "+"))
If something is kind and it does not eat the cow then the cow chases the lion.
((("something" "is" "kind" "+") ("something" "eats" "cow" "~")) -> ("cow" "chases" "lion" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple3)]
("lion" "needs" "bald eagle" "+")
triple3
The lion does not need the bald eagle.
False
1
inv-proof
[(triple3)]
("lion" "needs" "bald eagle" "-")
triple3
The cow chases the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("cow" "chases" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow does not chase the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "chases" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "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 lion eats the cow.
Unknown
rconc
[@1: The lion eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "cow" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The lion eats the rabbit.
Unknown
random
[@0: The lion eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "rabbit" "+")
@0: The bald eagle eats the cow.[(triple1)] The cow needs the bald eagle.[(triple2)] The lion needs the bald eagle.[(triple3)] The rabbit is not rough.[(triple4)] @1: The cow chases the bald eagle.[(((triple1) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple3
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1