The bald eagle is not nice. The bear is green. The bear is nice. The bear needs the bald eagle. The bear needs the rabbit. The lion is green. The lion is nice. The lion likes the rabbit. The lion visits the bear. The lion visits the rabbit. The rabbit is not red. The rabbit is rough. If someone needs the lion and they do not like the bald eagle then the lion is rough. If someone visits the rabbit then the rabbit does not like the bear. If someone needs the rabbit and the rabbit does not visit the bald eagle then they do not need the lion. If the bald eagle does not visit the rabbit then the bald eagle does not need the rabbit. If someone is rough and green then they are round. If someone needs the bald eagle and they do not need the bear then they like the rabbit.
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If someone needs the lion and they do not like the bald eagle then the lion is rough.
((("someone" "needs" "lion" "+") ("someone" "likes" "bald eagle" "~")) -> ("lion" "is" "rough" "+"))
If someone visits the rabbit then the rabbit does not like the bear.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "likes" "bear" "-"))
If someone needs the rabbit and the rabbit does not visit the bald eagle then they do not need the lion.
((("someone" "needs" "rabbit" "+") ("rabbit" "visits" "bald eagle" "~")) -> ("someone" "needs" "lion" "-"))
If the bald eagle does not visit the rabbit then the bald eagle does not need the rabbit.
((("bald eagle" "visits" "rabbit" "~")) -> ("bald eagle" "needs" "rabbit" "-"))
If someone is rough and green then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone needs the bald eagle and they do not need the bear then they like the rabbit.
((("someone" "needs" "bald eagle" "+") ("someone" "needs" "bear" "~")) -> ("someone" "likes" "rabbit" "+"))
The rabbit is not red.
True
1
proof
[(triple11)]
("rabbit" "is" "red" "-")
triple11
The bear does not need the rabbit.
False
1
inv-proof
[(triple5)]
("bear" "needs" "rabbit" "-")
triple5
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "round" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
@0: The bald eagle is not nice.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear needs the bald eagle.[(triple4)] The bear needs the rabbit.[(triple5)] The lion is green.[(triple6)] The lion is nice.[(triple7)] The lion likes the rabbit.[(triple8)] The lion visits the bear.[(triple9)] The lion visits the rabbit.[(triple10)] The rabbit is not red.[(triple11)] The rabbit is rough.[(triple12)] @1: The rabbit does not like the bear.[(((triple10) -> rule2))]
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
The lion is green.
("lion" "is" "green" "+")
triple6
The lion is nice.
("lion" "is" "nice" "+")
triple7
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple8
The lion visits the bear.
("lion" "visits" "bear" "+")
triple9
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple10
The rabbit is not red.
("rabbit" "is" "red" "-")
triple11
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple12
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
((triple10) -> (rule2 % int1))
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
int1