The bald eagle is green. The bear visits the squirrel. The squirrel needs the bald eagle. If someone likes the squirrel then they do not need the bear. If someone is rough and they visit the squirrel then they need the bald eagle. If someone visits the squirrel and they like the squirrel then the squirrel is young. If someone needs the bald eagle and the bald eagle is rough then they are green. If someone likes the bear and they do not need the squirrel then the squirrel is not round. If the squirrel is not green then the squirrel is nice.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone likes the squirrel then they do not need the bear.
((("someone" "likes" "squirrel" "+")) -> ("someone" "needs" "bear" "-"))
If someone is rough and they visit the squirrel then they need the bald eagle.
((("someone" "is" "rough" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the squirrel and they like the squirrel then the squirrel is young.
((("someone" "visits" "squirrel" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone needs the bald eagle and the bald eagle is rough then they are green.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone likes the bear and they do not need the squirrel then the squirrel is not round.
((("someone" "likes" "bear" "+") ("someone" "needs" "squirrel" "~")) -> ("squirrel" "is" "round" "-"))
If the squirrel is not green then the squirrel is nice.
((("squirrel" "is" "green" "~")) -> ("squirrel" "is" "nice" "+"))
The squirrel needs the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "needs" "bald eagle" "+")
triple3
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "nice" "-")
The bald eagle likes the squirrel.
Unknown
random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "+")
@0: The bald eagle is green.[(triple1)] The bear visits the squirrel.[(triple2)] The squirrel needs the bald eagle.[(triple3)]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple3