The bald eagle is kind. The bald eagle is nice. The bald eagle does not visit the bear. The bear eats the bald eagle. The bear does not eat the mouse. The bear needs the mouse. The bear visits the bald eagle. The bear visits the mouse. The mouse does not eat the bald eagle. The mouse is blue. The mouse is nice. The mouse needs the bald eagle. The mouse needs the bear. The mouse visits the bald eagle. The mouse visits the bear. If someone eats the mouse and the mouse does not need the bear then the bear is young.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle does not visit the bear.
("bald eagle" "visits" "bear" "-")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone eats the mouse and the mouse does not need the bear then the bear is young.
((("someone" "eats" "mouse" "+") ("mouse" "needs" "bear" "~")) -> ("bear" "is" "young" "+"))
The mouse needs the bear.
True
1
proof
[(triple13)]
("mouse" "needs" "bear" "+")
triple13
The bald eagle is not kind.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "kind" "-")
triple1
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "young" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle does not visit the bear.[(triple3)] The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The bear does not eat the mouse.[(triple5)] The bear eats the bald eagle.[(triple4)] The bear needs the mouse.[(triple6)] The bear visits the bald eagle.[(triple7)] The bear visits the mouse.[(triple8)] The mouse does not eat the bald eagle.[(triple9)] The mouse is blue.[(triple10)] The mouse is nice.[(triple11)] The mouse needs the bald eagle.[(triple12)] The mouse needs the bear.[(triple13)] The mouse visits the bald eagle.[(triple14)] The mouse visits the bear.[(triple15)]
The bald eagle does not visit the bear.
("bald eagle" "visits" "bear" "-")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
triple5
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple6
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple7
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple8
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple12
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple13
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple14
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple15