The bald eagle does not chase the dog. The bald eagle is not nice. The bald eagle does not like the cat. The bald eagle needs the dog. The cat is green. The cat likes the cow. The cow is young. The cow does not like the bald eagle. The dog chases the cat. The dog likes the cow. If someone chases the cow then they do not need the dog. If someone is red and they do not need the cat then they need the dog. If someone likes the cow and they do not chase the cat then they chase the bald eagle. If someone is young then they chase the bald eagle. If someone is red then they like the cow. If the cow does not need the dog then the cow is green. If someone likes the cow and they are green then they do not like the dog. If someone is blue and they do not chase the bald eagle then they need the cow.
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow is young.
("cow" "is" "young" "+")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
If someone chases the cow then they do not need the dog.
((("someone" "chases" "cow" "+")) -> ("someone" "needs" "dog" "-"))
If someone is red and they do not need the cat then they need the dog.
((("someone" "is" "red" "+") ("someone" "needs" "cat" "~")) -> ("someone" "needs" "dog" "+"))
If someone likes the cow and they do not chase the cat then they chase the bald eagle.
((("someone" "likes" "cow" "+") ("someone" "chases" "cat" "~")) -> ("someone" "chases" "bald eagle" "+"))
If someone is young then they chase the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is red then they like the cow.
((("someone" "is" "red" "+")) -> ("someone" "likes" "cow" "+"))
If the cow does not need the dog then the cow is green.
((("cow" "needs" "dog" "~")) -> ("cow" "is" "green" "+"))
If someone likes the cow and they are green then they do not like the dog.
((("someone" "likes" "cow" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "dog" "-"))
If someone is blue and they do not chase the bald eagle then they need the cow.
((("someone" "is" "blue" "+") ("someone" "chases" "bald eagle" "~")) -> ("someone" "needs" "cow" "+"))
The cat is green.
True
1
proof
[(triple5)]
("cat" "is" "green" "+")
triple5
The cat does not like the cow.
False
1
inv-proof
[(triple6)]
("cat" "likes" "cow" "-")
triple6
The cow chases the bald eagle.
True
2
proof
[(((triple7) -> rule4))]
("cow" "chases" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cat likes the dog.
False
3
inv-proof
[(((triple6 triple5) -> rule7))]
("cat" "likes" "dog" "+")
((triple6 triple5) -> (rule7 % int1))
The cat does not like the dog.
("cat" "likes" "dog" "-")
int1
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "needs" "cow" "-")
The bald eagle likes the cow.
Unknown
rconc
[@1: The bald eagle likes the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "cow" "+")
The dog does not need the bald eagle.
Unknown
inv-random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bald eagle does not chase the dog.[(triple1)] The bald eagle does not like the cat.[(triple3)] The bald eagle is not nice.[(triple2)] The bald eagle needs the dog.[(triple4)] The cat is green.[(triple5)] The cat likes the cow.[(triple6)] The cow does not like the bald eagle.[(triple8)] The cow is young.[(triple7)] The dog chases the cat.[(triple9)] The dog likes the cow.[(triple10)] @1: The cat does not like the dog.[(((triple6 triple5) -> rule7))] The cow chases the bald eagle.[(((triple7) -> rule4))]
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
triple1
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
triple3
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The cat is green.
("cat" "is" "green" "+")
triple5
The cat likes the cow.
("cat" "likes" "cow" "+")
triple6
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple8
The cow is young.
("cow" "is" "young" "+")
triple7
The dog chases the cat.
("dog" "chases" "cat" "+")
triple9
The dog likes the cow.
("dog" "likes" "cow" "+")
triple10
The cat does not like the dog.
("cat" "likes" "dog" "-")
((triple6 triple5) -> (rule7 % int1))
The cat does not like the dog.
("cat" "likes" "dog" "-")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1