The bald eagle chases the cow. The bald eagle does not chase the dog. The bald eagle is big. The bald eagle needs the cow. The bald eagle needs the dog. The cow does not eat the bald eagle. The cow is blue. The cow is kind. The cow is not young. The cow needs the bald eagle. The dog needs the bald eagle. The dog does not need the cow. If someone needs the dog then the dog needs the bald eagle. If someone is blue then they eat the cow. If the cow is blue and the cow does not need the dog then the cow is cold. If the cow chases the bald eagle then the cow is cold. If someone needs the bald eagle and they do not need the cow then the bald eagle eats the dog. If someone needs the cow and they do not eat the cow then they are not big.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog does not need the cow.
("dog" "needs" "cow" "-")
If someone needs the dog then the dog needs the bald eagle.
((("someone" "needs" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
If someone is blue then they eat the cow.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "cow" "+"))
If the cow is blue and the cow does not need the dog then the cow is cold.
((("cow" "is" "blue" "+") ("cow" "needs" "dog" "~")) -> ("cow" "is" "cold" "+"))
If the cow chases the bald eagle then the cow is cold.
((("cow" "chases" "bald eagle" "+")) -> ("cow" "is" "cold" "+"))
If someone needs the bald eagle and they do not need the cow then the bald eagle eats the dog.
((("someone" "needs" "bald eagle" "+") ("someone" "needs" "cow" "~")) -> ("bald eagle" "eats" "dog" "+"))
If someone needs the cow and they do not eat the cow then they are not big.
((("someone" "needs" "cow" "+") ("someone" "eats" "cow" "~")) -> ("someone" "is" "big" "-"))
The cow is not young.
True
1
proof
[(triple9)]
("cow" "is" "young" "-")
triple9
The bald eagle does not chase the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cow" "-")
triple1
The cow eats the cow.
True
2
proof
[(((triple7) -> rule2))]
("cow" "eats" "cow" "+")
((triple7) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The bald eagle does not eat the dog.
False
3
inv-proof
[(((triple11 triple12) -> rule5) OR ((((triple5) -> rule1) triple12) -> rule5))]
("bald eagle" "eats" "dog" "-")
((triple11 triple12) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
((((triple5) -> (rule1 % int2)) triple12) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The bald eagle does not eat the cow.
Unknown
inv-rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "cow" "-")
The dog eats the cow.
Unknown
rconc
[@1: The dog eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "cow" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The cow chases the bald eagle.
Unknown
random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not chase the dog.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the dog.[(triple5)] The cow does not eat the bald eagle.[(triple6)] The cow is blue.[(triple7)] The cow is kind.[(triple8)] The cow is not young.[(triple9)] The cow needs the bald eagle.[(triple10)] The dog does not need the cow.[(triple12)] The dog needs the bald eagle.[(triple11 OR ((triple5) -> rule1))] @1: The bald eagle eats the dog.[(((triple11 triple12) -> rule5) OR ((((triple5) -> rule1) triple12) -> rule5))] The cow eats the cow.[(((triple7) -> rule2))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple5
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
triple8
The cow is not young.
("cow" "is" "young" "-")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple10
The dog does not need the cow.
("dog" "needs" "cow" "-")
triple12
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple11
((triple5) -> (rule1 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((triple11 triple12) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
((((triple5) -> (rule1 % int2)) triple12) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple7) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1