The bald eagle eats the rabbit. The bald eagle is rough. The bald eagle does not need the squirrel. The bald eagle does not see the rabbit. The bald eagle sees the squirrel. The bear is not big. The rabbit eats the squirrel. The rabbit sees the bear. The rabbit sees the squirrel. The squirrel needs the bald eagle. The squirrel does not see the bald eagle. The squirrel sees the rabbit. If something eats the rabbit and it needs the squirrel then the squirrel does not eat the bald eagle. If the squirrel is nice then the squirrel eats the rabbit. If the bald eagle sees the squirrel and the bald eagle does not need the bear then the bald eagle sees the rabbit.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
The bald eagle does not see the rabbit.
("bald eagle" "sees" "rabbit" "-")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear is not big.
("bear" "is" "big" "-")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something eats the rabbit and it needs the squirrel then the squirrel does not eat the bald eagle.
((("something" "eats" "rabbit" "+") ("something" "needs" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "-"))
If the squirrel is nice then the squirrel eats the rabbit.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "eats" "rabbit" "+"))
If the bald eagle sees the squirrel and the bald eagle does not need the bear then the bald eagle sees the rabbit.
((("bald eagle" "sees" "squirrel" "+") ("bald eagle" "needs" "bear" "~")) -> ("bald eagle" "sees" "rabbit" "+"))
The bald eagle does not see the rabbit.
True
1
proof
[(triple4)]
("bald eagle" "sees" "rabbit" "-")
triple4
The squirrel sees the bald eagle.
False
1
inv-proof
[(triple11)]
("squirrel" "sees" "bald eagle" "+")
triple11
The squirrel does not eat the rabbit.
Unknown
inv-rconc
[@1: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "rabbit" "-")
The squirrel needs the bear.
Unknown
random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "+")
@0: The bald eagle does not need the squirrel.[(triple3)] The bald eagle does not see the rabbit.[(triple4)] The bald eagle eats the rabbit.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the squirrel.[(triple5)] The bear is not big.[(triple6)] The rabbit eats the squirrel.[(triple7)] The rabbit sees the bear.[(triple8)] The rabbit sees the squirrel.[(triple9)] The squirrel does not see the bald eagle.[(triple11)] The squirrel needs the bald eagle.[(triple10)] The squirrel sees the rabbit.[(triple12)]
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
triple3
The bald eagle does not see the rabbit.
("bald eagle" "sees" "rabbit" "-")
triple4
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple5
The bear is not big.
("bear" "is" "big" "-")
triple6
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple7
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple8
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple9
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple11
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple12