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