The bald eagle is round. The bald eagle does not like the cat. The bald eagle likes the dog. The bald eagle likes the tiger. The bald eagle needs the cat. The bald eagle needs the tiger. The cat is rough. The cat does not like the bald eagle. The cat needs the bald eagle. The cat needs the tiger. The dog does not chase the tiger. The dog does not like the cat. The tiger is big. The tiger likes the bald eagle. The tiger needs the cat. If something is big and it chases the dog then it needs the bald eagle. If something chases the bald eagle then it chases the dog. If something needs the dog and it is not round then it chases the dog. If something needs the bald eagle then it likes the tiger. If something needs the bald eagle and it chases the dog then the dog is big. If something needs the tiger and it does not need the dog then it chases the cat. If something needs the dog and it likes the bald eagle then the dog needs the cat. If something chases the dog and it does not need the bald eagle then the dog likes the bald eagle.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
The dog does not like the cat.
("dog" "likes" "cat" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If something is big and it chases the dog then it needs the bald eagle.
((("something" "is" "big" "+") ("something" "chases" "dog" "+")) -> ("something" "needs" "bald eagle" "+"))
If something chases the bald eagle then it chases the dog.
((("something" "chases" "bald eagle" "+")) -> ("something" "chases" "dog" "+"))
If something needs the dog and it is not round then it chases the dog.
((("something" "needs" "dog" "+") ("something" "is" "round" "~")) -> ("something" "chases" "dog" "+"))
If something needs the bald eagle then it likes the tiger.
((("something" "needs" "bald eagle" "+")) -> ("something" "likes" "tiger" "+"))
If something needs the bald eagle and it chases the dog then the dog is big.
((("something" "needs" "bald eagle" "+") ("something" "chases" "dog" "+")) -> ("dog" "is" "big" "+"))
If something needs the tiger and it does not need the dog then it chases the cat.
((("something" "needs" "tiger" "+") ("something" "needs" "dog" "~")) -> ("something" "chases" "cat" "+"))
If something needs the dog and it likes the bald eagle then the dog needs the cat.
((("something" "needs" "dog" "+") ("something" "likes" "bald eagle" "+")) -> ("dog" "needs" "cat" "+"))
If something chases the dog and it does not need the bald eagle then the dog likes the bald eagle.
((("something" "chases" "dog" "+") ("something" "needs" "bald eagle" "~")) -> ("dog" "likes" "bald eagle" "+"))
The cat needs the bald eagle.
True
1
proof
[(triple9)]
("cat" "needs" "bald eagle" "+")
triple9
The bald eagle likes the cat.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "cat" "+")
triple2
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "chases" "cat" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bald eagle does not like the cat.[(triple2)] The bald eagle is round.[(triple1)] The bald eagle likes the dog.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle needs the cat.[(triple5)] The bald eagle needs the tiger.[(triple6)] The cat does not like the bald eagle.[(triple8)] The cat is rough.[(triple7)] The cat needs the bald eagle.[(triple9)] The cat needs the tiger.[(triple10)] The dog does not chase the tiger.[(triple11)] The dog does not like the cat.[(triple12)] The tiger is big.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger needs the cat.[(triple15)] @1: The cat likes the tiger.[(((triple9) -> rule4))]
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple5
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple6
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
triple8
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple9
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple10
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
triple11
The dog does not like the cat.
("dog" "likes" "cat" "-")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple15
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((triple9) -> (rule4 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1