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