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