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