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