The bald eagle eats the cow. The bald eagle does not need the cow. The bald eagle needs the dog. The bald eagle visits the cow. The cow does not eat the bald eagle. The cow is blue. The cow is not round. The dog needs the bald eagle. The dog visits the bald eagle. The dog visits the cow. If the cow needs the dog then the dog eats the cow. If someone needs the dog then the dog does not eat the cow. If someone needs the bald eagle and they do not need the cow then the bald eagle visits the cow. If someone eats the cow then they do not eat the dog. All blue people are green. If someone is green then they eat the cow. If the cow eats the bald eagle and the bald eagle does not need the cow then the cow needs the bald eagle. If someone eats the bald eagle and the bald eagle does not eat the dog then they visit the dog.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not round.
("cow" "is" "round" "-")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If the cow needs the dog then the dog eats the cow.
((("cow" "needs" "dog" "+")) -> ("dog" "eats" "cow" "+"))
If someone needs the dog then the dog does not eat the cow.
((("someone" "needs" "dog" "+")) -> ("dog" "eats" "cow" "-"))
If someone needs the bald eagle and they do not need the cow then the bald eagle visits the cow.
((("someone" "needs" "bald eagle" "+") ("someone" "needs" "cow" "~")) -> ("bald eagle" "visits" "cow" "+"))
If someone eats the cow then they do not eat the dog.
((("someone" "eats" "cow" "+")) -> ("someone" "eats" "dog" "-"))
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they eat the cow.
((("someone" "is" "green" "+")) -> ("someone" "eats" "cow" "+"))
If the cow eats the bald eagle and the bald eagle does not need the cow then the cow needs the bald eagle.
((("cow" "eats" "bald eagle" "+") ("bald eagle" "needs" "cow" "~")) -> ("cow" "needs" "bald eagle" "+"))
If someone eats the bald eagle and the bald eagle does not eat the dog then they visit the dog.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "eats" "dog" "~")) -> ("someone" "visits" "dog" "+"))
The dog visits the bald eagle.
True
1
proof
[(triple9)]
("dog" "visits" "bald eagle" "+")
triple9
The dog does not need the bald eagle.
False
1
inv-proof
[(triple8)]
("dog" "needs" "bald eagle" "-")
triple8
The bald eagle does not eat the dog.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "eats" "dog" "-")
((triple1) -> (rule4 % int1))
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
int1
The cow is not green.
False
2
inv-proof
[(((triple6) -> rule5))]
("cow" "is" "green" "-")
((triple6) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow eats the cow.
True
3
proof
[(((((triple6) -> rule5)) -> rule6))]
("cow" "eats" "cow" "+")
((((triple6) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow does not eat the cow.
False
3
inv-proof
[(((((triple6) -> rule5)) -> rule6))]
("cow" "eats" "cow" "-")
((((triple6) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow does not eat the dog.
True
4
proof
[(((((((triple6) -> rule5)) -> rule6)) -> rule4))]
("cow" "eats" "dog" "-")
((((((triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow does not eat the dog.
("cow" "eats" "dog" "-")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow eats the dog.
False
4
inv-proof
[(((((((triple6) -> rule5)) -> rule6)) -> rule4))]
("cow" "eats" "dog" "+")
((((((triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow does not eat the dog.
("cow" "eats" "dog" "-")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow does not visit the dog.
Unknown
inv-rconc
[@1: The cow visits the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "visits" "dog" "-")
The dog visits the dog.
Unknown
rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "visits" "dog" "+")
The cow does not need the bald eagle.
Unknown
inv-rconc
[@1: The cow needs the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "needs" "bald eagle" "-")
The bald eagle is green.
Unknown
rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "green" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bald eagle does not need the cow.[(triple2)] The bald eagle eats the cow.[(triple1)] The bald eagle needs the dog.[(triple3)] The bald eagle visits the cow.[(triple4)] The cow does not eat the bald eagle.[(triple5)] The cow is blue.[(triple6)] The cow is not round.[(triple7)] The dog needs the bald eagle.[(triple8)] The dog visits the bald eagle.[(triple9)] The dog visits the cow.[(triple10)] @1: The bald eagle does not eat the dog.[(((triple1) -> rule4))] The cow is green.[(((triple6) -> rule5))] The dog does not eat the cow.[(((triple3) -> rule2))] @2: The cow eats the cow.[(((((triple6) -> rule5)) -> rule6))] @3: The cow does not eat the dog.[(((((((triple6) -> rule5)) -> rule6)) -> rule4))]
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
triple2
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow is not round.
("cow" "is" "round" "-")
triple7
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple8
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
((triple1) -> (rule4 % int1))
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
int1
The cow is green.
("cow" "is" "green" "+")
((triple6) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The dog does not eat the cow.
("dog" "eats" "cow" "-")
((triple3) -> (rule2 % int1))
The dog does not eat the cow.
("dog" "eats" "cow" "-")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((((triple6) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow does not eat the dog.
("cow" "eats" "dog" "-")
((((((triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow does not eat the dog.
("cow" "eats" "dog" "-")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3