The bald eagle is big. The bald eagle is not nice. The cat chases the mouse. The cat is rough. The cat likes the mouse. The cat needs the bald eagle. The mouse chases the bald eagle. The mouse is rough. The mouse does not need the cat. The tiger needs the mouse. If someone likes the bald eagle and the bald eagle is not big then the bald eagle chases the tiger. If the mouse likes the cat then the cat is blue. If someone needs the bald eagle then they like the cat. If someone chases the cat and the cat chases the bald eagle then they like the bald eagle. If someone likes the mouse then the mouse needs the bald eagle. If someone is blue and they chase the bald eagle then the bald eagle is blue.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse does not need the cat.
("mouse" "needs" "cat" "-")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone likes the bald eagle and the bald eagle is not big then the bald eagle chases the tiger.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "is" "big" "~")) -> ("bald eagle" "chases" "tiger" "+"))
If the mouse likes the cat then the cat is blue.
((("mouse" "likes" "cat" "+")) -> ("cat" "is" "blue" "+"))
If someone needs the bald eagle then they like the cat.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "likes" "cat" "+"))
If someone chases the cat and the cat chases the bald eagle then they like the bald eagle.
((("someone" "chases" "cat" "+") ("cat" "chases" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the mouse then the mouse needs the bald eagle.
((("someone" "likes" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If someone is blue and they chase the bald eagle then the bald eagle is blue.
((("someone" "is" "blue" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
The bald eagle is not nice.
True
1
proof
[(triple2)]
("bald eagle" "is" "nice" "-")
triple2
The cat does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("cat" "needs" "bald eagle" "-")
triple6
The mouse needs the bald eagle.
True
2
proof
[(((triple5) -> rule5))]
("mouse" "needs" "bald eagle" "+")
((triple5) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple6) -> rule3))]
("cat" "likes" "cat" "-")
((triple6) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The mouse likes the cat.
True
3
proof
[(((((triple5) -> rule5)) -> rule3))]
("mouse" "likes" "cat" "+")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse does not like the cat.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule3))]
("mouse" "likes" "cat" "-")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The cat is blue.
True
4
proof
[(((((((triple5) -> rule5)) -> rule3)) -> rule2))]
("cat" "is" "blue" "+")
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int3
The cat is not blue.
False
4
inv-proof
[(((((((triple5) -> rule5)) -> rule3)) -> rule2))]
("cat" "is" "blue" "-")
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int3
The tiger does not like the bald eagle.
Unknown
inv-rconc
[@1: The tiger likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "likes" "bald eagle" "-")
The tiger likes the cat.
Unknown
rconc
[@1: The tiger likes the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "cat" "+")
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The cat likes the bald eagle.
Unknown
rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "likes" "bald eagle" "+")
The bald eagle does not chase the mouse.
Unknown
inv-random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "-")
The bald eagle likes the tiger.
Unknown
random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "+")
The tiger does not need the bald eagle.
Unknown
inv-random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "-")
The bald eagle needs the mouse.
Unknown
random
[@0: The bald eagle needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "mouse" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is not nice.[(triple2)] The cat chases the mouse.[(triple3)] The cat is rough.[(triple4)] The cat likes the mouse.[(triple5)] The cat needs the bald eagle.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse does not need the cat.[(triple9)] The mouse is rough.[(triple8)] The tiger needs the mouse.[(triple10)] @1: The cat likes the cat.[(((triple6) -> rule3))] The mouse needs the bald eagle.[(((triple5) -> rule5))] @2: The mouse likes the cat.[(((((triple5) -> rule5)) -> rule3))] @3: The cat is blue.[(((((((triple5) -> rule5)) -> rule3)) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple5
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse does not need the cat.
("mouse" "needs" "cat" "-")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple8
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple10
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple6) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((triple5) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int3