The bear chases the mouse. The bear chases the squirrel. The bear eats the mouse. The bear eats the squirrel. The bear is red. The bear likes the mouse. The bear likes the squirrel. The mouse is blue. The mouse is kind. The mouse likes the bear. The mouse likes the squirrel. The squirrel chases the bear. The squirrel chases the mouse. The squirrel eats the bear. The squirrel is blue. The squirrel likes the bear. If someone eats the mouse and the mouse is red then they are blue. If the mouse eats the bear then the bear chases the mouse. If someone chases the squirrel then the squirrel chases the mouse.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If someone eats the mouse and the mouse is red then they are blue.
((("someone" "eats" "mouse" "+") ("mouse" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If the mouse eats the bear then the bear chases the mouse.
((("mouse" "eats" "bear" "+")) -> ("bear" "chases" "mouse" "+"))
If someone chases the squirrel then the squirrel chases the mouse.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "mouse" "+"))
The bear is red.
True
1
proof
[(triple5)]
("bear" "is" "red" "+")
triple5
The bear does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("bear" "chases" "squirrel" "-")
triple2
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bear chases the mouse.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the mouse.[(triple3)] The bear eats the squirrel.[(triple4)] The bear is red.[(triple5)] The bear likes the mouse.[(triple6)] The bear likes the squirrel.[(triple7)] The mouse is blue.[(triple8)] The mouse is kind.[(triple9)] The mouse likes the bear.[(triple10)] The mouse likes the squirrel.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel chases the mouse.[(triple13 OR ((triple2) -> rule3))] The squirrel eats the bear.[(triple14)] The squirrel is blue.[(triple15)] The squirrel likes the bear.[(triple16)]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple6
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple10
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple11
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple12
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple13
((triple2) -> (rule3 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple14
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple15
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple16