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