The bald eagle likes the cow. The cat chases the bald eagle. The cat is green. The cat is young. The cat likes the cow. The cow chases the cat. The cow likes the cat. If something needs the cat and the cat is young then it is big. If something likes the bald eagle and it is green then it chases the cat. If something likes the cat then the cat needs the cow. If something chases the bald eagle and the bald eagle needs the cow then the cow is young. If something is green then it chases the bald eagle. If something chases the bald eagle and it chases the cat then the bald eagle needs the cat.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
If something needs the cat and the cat is young then it is big.
((("something" "needs" "cat" "+") ("cat" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something likes the bald eagle and it is green then it chases the cat.
((("something" "likes" "bald eagle" "+") ("something" "is" "green" "+")) -> ("something" "chases" "cat" "+"))
If something likes the cat then the cat needs the cow.
((("something" "likes" "cat" "+")) -> ("cat" "needs" "cow" "+"))
If something chases the bald eagle and the bald eagle needs the cow then the cow is young.
((("something" "chases" "bald eagle" "+") ("bald eagle" "needs" "cow" "+")) -> ("cow" "is" "young" "+"))
If something is green then it chases the bald eagle.
((("something" "is" "green" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the bald eagle and it chases the cat then the bald eagle needs the cat.
((("something" "chases" "bald eagle" "+") ("something" "chases" "cat" "+")) -> ("bald eagle" "needs" "cat" "+"))
The cat is green.
True
1
proof
[(triple3)]
("cat" "is" "green" "+")
triple3
The bald eagle does not like the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "cow" "-")
triple1
The cat needs the cow.
True
2
proof
[(((triple7) -> rule3))]
("cat" "needs" "cow" "+")
((triple7) -> (rule3 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat does not need the cow.
False
2
inv-proof
[(((triple7) -> rule3))]
("cat" "needs" "cow" "-")
((triple7) -> (rule3 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cow does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "chases" "bald eagle" "-")
The bald eagle needs the cat.
Unknown
rconc
[@2: The bald eagle needs the cat.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("bald eagle" "needs" "cat" "+")
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 cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The bald eagle likes the cow.[(triple1)] The cat chases the bald eagle.[(triple2 OR ((triple3) -> rule5))] The cat is green.[(triple3)] The cat is young.[(triple4)] The cat likes the cow.[(triple5)] The cow chases the cat.[(triple6)] The cow likes the cat.[(triple7)] @1: The cat needs the cow.[(((triple7) -> rule3))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple2
((triple3) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat likes the cow.
("cat" "likes" "cow" "+")
triple5
The cow chases the cat.
("cow" "chases" "cat" "+")
triple6
The cow likes the cat.
("cow" "likes" "cat" "+")
triple7
The cat needs the cow.
("cat" "needs" "cow" "+")
((triple7) -> (rule3 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1