The bald eagle eats the cat. The bald eagle is not young. The bald eagle visits the cat. The bald eagle visits the cow. The cat chases the rabbit. The cat eats the bald eagle. The cow chases the cat. The rabbit chases the cat. The rabbit is green. The rabbit is rough. If someone is young and green then they visit the cat. If someone visits the cow then they eat the cow. If the cat eats the bald eagle then the cat visits the cow. If someone chases the cow then the cow is not young. If someone chases the rabbit and they visit the rabbit then they eat the rabbit. If someone visits the bald eagle and the bald eagle does not chase the cat then the cat is not big.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If someone is young and green then they visit the cat.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "visits" "cat" "+"))
If someone visits the cow then they eat the cow.
((("someone" "visits" "cow" "+")) -> ("someone" "eats" "cow" "+"))
If the cat eats the bald eagle then the cat visits the cow.
((("cat" "eats" "bald eagle" "+")) -> ("cat" "visits" "cow" "+"))
If someone chases the cow then the cow is not young.
((("someone" "chases" "cow" "+")) -> ("cow" "is" "young" "-"))
If someone chases the rabbit and they visit the rabbit then they eat the rabbit.
((("someone" "chases" "rabbit" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone visits the bald eagle and the bald eagle does not chase the cat then the cat is not big.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "chases" "cat" "~")) -> ("cat" "is" "big" "-"))
The bald eagle visits the cat.
True
1
proof
[(triple3)]
("bald eagle" "visits" "cat" "+")
triple3
The bald eagle does not visit the cow.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "cow" "-")
triple4
The bald eagle eats the cow.
True
2
proof
[(((triple4) -> rule2))]
("bald eagle" "eats" "cow" "+")
((triple4) -> (rule2 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The cat does not visit the cow.
False
2
inv-proof
[(((triple6) -> rule3))]
("cat" "visits" "cow" "-")
((triple6) -> (rule3 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The cat eats the cow.
True
3
proof
[(((((triple6) -> rule3)) -> rule2))]
("cat" "eats" "cow" "+")
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
int2
The cat does not eat the cow.
False
3
inv-proof
[(((((triple6) -> rule3)) -> rule2))]
("cat" "eats" "cow" "-")
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
int2
The bald eagle does not eat the rabbit.
Unknown
inv-rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The cow eats the rabbit.
Unknown
rconc
[@1: The cow eats the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "eats" "rabbit" "+")
The cow does not visit the cat.
Unknown
inv-rconc
[@1: The cow visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "cat" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is not young.[(triple2)] The bald eagle visits the cat.[(triple3)] The bald eagle visits the cow.[(triple4)] The cat chases the rabbit.[(triple5)] The cat eats the bald eagle.[(triple6)] The cow chases the cat.[(triple7)] The rabbit chases the cat.[(triple8)] The rabbit is green.[(triple9)] The rabbit is rough.[(triple10)] @1: The bald eagle eats the cow.[(((triple4) -> rule2))] The cat visits the cow.[(((triple6) -> rule3))] @2: The cat eats the cow.[(((((triple6) -> rule3)) -> rule2))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple5
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cow chases the cat.
("cow" "chases" "cat" "+")
triple7
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((triple4) -> (rule2 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
((triple6) -> (rule3 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
int2