The bald eagle is round. The cat chases the bald eagle. The cow is rough. The tiger needs the cat. If something chases the tiger and it eats the cat then it eats the cow. If something is round then it chases the bald eagle. If something chases the bald eagle and it needs the cat then it is green.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cow is rough.
("cow" "is" "rough" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If something chases the tiger and it eats the cat then it eats the cow.
((("something" "chases" "tiger" "+") ("something" "eats" "cat" "+")) -> ("something" "eats" "cow" "+"))
If something is round then it chases the bald eagle.
((("something" "is" "round" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the bald eagle and it needs the cat then it is green.
((("something" "chases" "bald eagle" "+") ("something" "needs" "cat" "+")) -> ("something" "is" "green" "+"))
The tiger needs the cat.
True
1
proof
[(triple4)]
("tiger" "needs" "cat" "+")
triple4
The tiger does not need the cat.
False
1
inv-proof
[(triple4)]
("tiger" "needs" "cat" "-")
triple4
The bald eagle chases the bald eagle.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "chases" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "green" "-")
The cow eats the cow.
Unknown
rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "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 bald eagle needs the cow.
Unknown
random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "+")
@0: The bald eagle is round.[(triple1)] The cat chases the bald eagle.[(triple2)] The cow is rough.[(triple3)] The tiger needs the cat.[(triple4)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule2))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1