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