The bald eagle is blue. The bald eagle is rough. The bald eagle does not like the mouse. The cat is round. The cat likes the bald eagle. The cat likes the squirrel. The mouse is rough. The mouse does not like the bald eagle. The mouse sees the squirrel. The squirrel is round. The squirrel likes the bald eagle. The squirrel does not like the mouse. If the mouse sees the bald eagle and the mouse likes the squirrel then the squirrel is blue. If something likes the cat and it likes the mouse then it sees the squirrel. If the bald eagle sees the mouse then the mouse does not chase the squirrel. If something is round then it does not chase the cat. If something is round then it likes the cat. If something sees the mouse and the mouse sees the bald eagle then the bald eagle likes the mouse. If something chases the mouse then it is blue. If something is round and it does not chase the cat then it is blue.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel does not like the mouse.
("squirrel" "likes" "mouse" "-")
If the mouse sees the bald eagle and the mouse likes the squirrel then the squirrel is blue.
((("mouse" "sees" "bald eagle" "+") ("mouse" "likes" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If something likes the cat and it likes the mouse then it sees the squirrel.
((("something" "likes" "cat" "+") ("something" "likes" "mouse" "+")) -> ("something" "sees" "squirrel" "+"))
If the bald eagle sees the mouse then the mouse does not chase the squirrel.
((("bald eagle" "sees" "mouse" "+")) -> ("mouse" "chases" "squirrel" "-"))
If something is round then it does not chase the cat.
((("something" "is" "round" "+")) -> ("something" "chases" "cat" "-"))
If something is round then it likes the cat.
((("something" "is" "round" "+")) -> ("something" "likes" "cat" "+"))
If something sees the mouse and the mouse sees the bald eagle then the bald eagle likes the mouse.
((("something" "sees" "mouse" "+") ("mouse" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "mouse" "+"))
If something chases the mouse then it is blue.
((("something" "chases" "mouse" "+")) -> ("something" "is" "blue" "+"))
If something is round and it does not chase the cat then it is blue.
((("something" "is" "round" "+") ("something" "chases" "cat" "~")) -> ("something" "is" "blue" "+"))
The squirrel does not like the mouse.
True
1
proof
[(triple12)]
("squirrel" "likes" "mouse" "-")
triple12
The squirrel does not like the bald eagle.
False
1
inv-proof
[(triple11)]
("squirrel" "likes" "bald eagle" "-")
triple11
The cat likes the cat.
True
2
proof
[(((triple4) -> rule5))]
("cat" "likes" "cat" "+")
((triple4) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cat.
False
2
inv-proof
[(((triple4) -> rule4))]
("cat" "chases" "cat" "+")
((triple4) -> (rule4 % int1))
The cat does not chase the cat.
("cat" "chases" "cat" "-")
int1
The squirrel is blue.
True
4
proof
[(((triple10 ((triple10) -> rule4)) -> rule8))]
("squirrel" "is" "blue" "+")
((triple10 ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
int2
The squirrel is not blue.
False
4
inv-proof
[(((triple10 ((triple10) -> rule4)) -> rule8))]
("squirrel" "is" "blue" "-")
((triple10 ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
int2
The mouse does not like the cat.
Unknown
inv-rconc
[@1: The mouse likes the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "cat" "-")
The cat sees the squirrel.
Unknown
rconc
[@1: The cat sees the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "squirrel" "+")
The bald eagle does not see the squirrel.
Unknown
inv-rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
The squirrel does not see the cat.
Unknown
inv-random
[@0: The squirrel sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cat" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle does not like the mouse.[(triple3)] The bald eagle is blue.[(triple1)] The bald eagle is rough.[(triple2)] The cat is round.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat likes the squirrel.[(triple6)] The mouse does not like the bald eagle.[(triple8)] The mouse is rough.[(triple7)] The mouse sees the squirrel.[(triple9)] The squirrel does not like the mouse.[(triple12)] The squirrel is round.[(triple10)] The squirrel likes the bald eagle.[(triple11)] @1: The cat does not chase the cat.[(((triple4) -> rule4))] The cat likes the cat.[(((triple4) -> rule5))] The squirrel does not chase the cat.[(((triple10) -> rule4))] The squirrel likes the cat.[(((triple10) -> rule5))] @2: The cat is blue.[(((triple4 ((triple4) -> rule4)) -> rule8))] The squirrel is blue.[(((triple10 ((triple10) -> rule4)) -> rule8))]
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple4
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple9
The squirrel does not like the mouse.
("squirrel" "likes" "mouse" "-")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple11
The cat does not chase the cat.
("cat" "chases" "cat" "-")
((triple4) -> (rule4 % int1))
The cat does not chase the cat.
("cat" "chases" "cat" "-")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple4) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
((triple10) -> (rule4 % int1))
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
((triple10) -> (rule5 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat does not chase the cat.
("cat" "chases" "cat" "-")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple10 ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
int2