The bald eagle eats the cow. The bald eagle is blue. The bald eagle is kind. The bald eagle needs the cat. The bald eagle needs the cow. The bald eagle visits the cow. The cat eats the bald eagle. The cat does not eat the cow. The cat needs the cow. The cat visits the bald eagle. The cat visits the cow. The cow eats the cat. The cow is red. The cow visits the bald eagle. The cow visits the cat. If someone eats the cat and they do not visit the cat then they eat the cow. If someone visits the bald eagle then they are not big. If someone is big then they eat the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat does not eat the cow.
("cat" "eats" "cow" "-")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is red.
("cow" "is" "red" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
If someone eats the cat and they do not visit the cat then they eat the cow.
((("someone" "eats" "cat" "+") ("someone" "visits" "cat" "~")) -> ("someone" "eats" "cow" "+"))
If someone visits the bald eagle then they are not big.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "big" "-"))
If someone is big then they eat the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "eats" "bald eagle" "+"))
The cat visits the cow.
True
1
proof
[(triple11)]
("cat" "visits" "cow" "+")
triple11
The cat does not need the cow.
False
1
inv-proof
[(triple9)]
("cat" "needs" "cow" "-")
triple9
The cow is not big.
True
2
proof
[(((triple14) -> rule2))]
("cow" "is" "big" "-")
((triple14) -> (rule2 % int1))
The cow is not big.
("cow" "is" "big" "-")
int1
The cow is big.
False
2
inv-proof
[(((triple14) -> rule2))]
("cow" "is" "big" "+")
((triple14) -> (rule2 % int1))
The cow is not big.
("cow" "is" "big" "-")
int1
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "-")
The cow eats the bald eagle.
Unknown
rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle visits the cow.[(triple6)] The cat does not eat the cow.[(triple8)] The cat eats the bald eagle.[(triple7)] The cat needs the cow.[(triple9)] The cat visits the bald eagle.[(triple10)] The cat visits the cow.[(triple11)] The cow eats the cat.[(triple12)] The cow is red.[(triple13)] The cow visits the bald eagle.[(triple14)] The cow visits the cat.[(triple15)] @1: The cat is not big.[(((triple10) -> rule2))] The cow is not big.[(((triple14) -> rule2))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple5
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple6
The cat does not eat the cow.
("cat" "eats" "cow" "-")
triple8
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple7
The cat needs the cow.
("cat" "needs" "cow" "+")
triple9
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple10
The cat visits the cow.
("cat" "visits" "cow" "+")
triple11
The cow eats the cat.
("cow" "eats" "cat" "+")
triple12
The cow is red.
("cow" "is" "red" "+")
triple13
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple14
The cow visits the cat.
("cow" "visits" "cat" "+")
triple15
The cat is not big.
("cat" "is" "big" "-")
((triple10) -> (rule2 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
The cow is not big.
("cow" "is" "big" "-")
((triple14) -> (rule2 % int1))
The cow is not big.
("cow" "is" "big" "-")
int1