The bald eagle does not eat the bear. The bald eagle is nice. The bear eats the mouse. The bear is not cold. The bear is round. The bear sees the mouse. The bear visits the squirrel. The mouse is cold. The mouse does not see the squirrel. The squirrel eats the bald eagle. If something sees the squirrel then it is nice.
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is round.
("bear" "is" "round" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If something sees the squirrel then it is nice.
((("something" "sees" "squirrel" "+")) -> ("something" "is" "nice" "+"))
The mouse does not see the squirrel.
True
1
proof
[(triple9)]
("mouse" "sees" "squirrel" "-")
triple9
The bear is not round.
False
1
inv-proof
[(triple5)]
("bear" "is" "round" "-")
triple5
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The bald eagle does not eat the bear.[(triple1)] The bald eagle is nice.[(triple2)] The bear eats the mouse.[(triple3)] The bear is not cold.[(triple4)] The bear is round.[(triple5)] The bear sees the mouse.[(triple6)] The bear visits the squirrel.[(triple7)] The mouse does not see the squirrel.[(triple9)] The mouse is cold.[(triple8)] The squirrel eats the bald eagle.[(triple10)]
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple3
The bear is not cold.
("bear" "is" "cold" "-")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple6
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple7
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
triple9
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10