The bald eagle is not green. The cat chases the cow. The cow eats the bald eagle. If someone is green and they eat the bald eagle then they do not eat the cow. If someone chases the cat then the cat is not green. If someone visits the cat and the cat visits the cow then the cat eats the cow. If someone chases the cat then they eat the bald eagle. If someone eats the bald eagle then the bald eagle does not chase the cow. If someone chases the cow then the cow is round. If someone chases the bald eagle then they are green. If someone visits the cat and the cat eats the cow then the cat chases the bald eagle.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
If someone is green and they eat the bald eagle then they do not eat the cow.
((("someone" "is" "green" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "cow" "-"))
If someone chases the cat then the cat is not green.
((("someone" "chases" "cat" "+")) -> ("cat" "is" "green" "-"))
If someone visits the cat and the cat visits the cow then the cat eats the cow.
((("someone" "visits" "cat" "+") ("cat" "visits" "cow" "+")) -> ("cat" "eats" "cow" "+"))
If someone chases the cat then they eat the bald eagle.
((("someone" "chases" "cat" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the bald eagle then the bald eagle does not chase the cow.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "cow" "-"))
If someone chases the cow then the cow is round.
((("someone" "chases" "cow" "+")) -> ("cow" "is" "round" "+"))
If someone chases the bald eagle then they are green.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone visits the cat and the cat eats the cow then the cat chases the bald eagle.
((("someone" "visits" "cat" "+") ("cat" "eats" "cow" "+")) -> ("cat" "chases" "bald eagle" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple3)]
("cow" "eats" "bald eagle" "+")
triple3
The cat does not chase the cow.
False
1
inv-proof
[(triple2)]
("cat" "chases" "cow" "-")
triple2
The bald eagle does not chase the cow.
True
2
proof
[(((triple3) -> rule5))]
("bald eagle" "chases" "cow" "-")
((triple3) -> (rule5 % int1))
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
int1
The cow is not round.
False
2
inv-proof
[(((triple2) -> rule6))]
("cow" "is" "round" "-")
((triple2) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cat is not green.
Unknown
inv-rconc
[@2: The cat is green.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("cat" "is" "green" "-")
The cat chases the bald eagle.
Unknown
rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "chases" "bald eagle" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
@0: The bald eagle is not green.[(triple1)] The cat chases the cow.[(triple2)] The cow eats the bald eagle.[(triple3)] @1: The bald eagle does not chase the cow.[(((triple3) -> rule5))] The cow is round.[(((triple2) -> rule6))]
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The cat chases the cow.
("cat" "chases" "cow" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
((triple3) -> (rule5 % int1))
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
int1
The cow is round.
("cow" "is" "round" "+")
((triple2) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1