The bald eagle does not eat the mouse. The bald eagle eats the squirrel. The bald eagle is kind. The bald eagle is not round. The bald eagle does not like the rabbit. The mouse sees the squirrel. The rabbit eats the squirrel. The rabbit is round. The squirrel eats the rabbit. The squirrel likes the rabbit. If someone likes the rabbit then the rabbit sees the squirrel.
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If someone likes the rabbit then the rabbit sees the squirrel.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "sees" "squirrel" "+"))
The bald eagle does not like the rabbit.
True
1
proof
[(triple5)]
("bald eagle" "likes" "rabbit" "-")
triple5
The rabbit is not round.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "round" "-")
triple8
The rabbit sees the squirrel.
True
2
proof
[(((triple10) -> rule1))]
("rabbit" "sees" "squirrel" "+")
((triple10) -> (rule1 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1
The rabbit does not see the squirrel.
False
2
inv-proof
[(((triple10) -> rule1))]
("rabbit" "sees" "squirrel" "-")
((triple10) -> (rule1 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The mouse does not like the rabbit.
Unknown
inv-random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "-")
The rabbit eats the mouse.
Unknown
random
[@0: The rabbit eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "mouse" "+")
@0: The bald eagle does not eat the mouse.[(triple1)] The bald eagle does not like the rabbit.[(triple5)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is not round.[(triple4)] The mouse sees the squirrel.[(triple6)] The rabbit eats the squirrel.[(triple7)] The rabbit is round.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel likes the rabbit.[(triple10)] @1: The rabbit sees the squirrel.[(((triple10) -> rule1))]
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
triple1
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
triple5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple4
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple6
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple9
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple10
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
((triple10) -> (rule1 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1