The bear needs the tiger. The dog is green. The dog is kind. The mouse eats the dog. The mouse is green. The mouse is kind. The tiger eats the bear. If something is big and it eats the mouse then the mouse is rough. If something is green and it eats the dog then the dog sees the tiger. If something sees the tiger and the tiger needs the mouse then the mouse needs the dog. If something eats the bear and it eats the tiger then the tiger is kind. If something needs the bear then the bear sees the dog. If something eats the dog then the dog eats the tiger. If something eats the bear then the bear needs the mouse. If something is kind then it eats the mouse.
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
If something is big and it eats the mouse then the mouse is rough.
((("something" "is" "big" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "is" "rough" "+"))
If something is green and it eats the dog then the dog sees the tiger.
((("something" "is" "green" "+") ("something" "eats" "dog" "+")) -> ("dog" "sees" "tiger" "+"))
If something sees the tiger and the tiger needs the mouse then the mouse needs the dog.
((("something" "sees" "tiger" "+") ("tiger" "needs" "mouse" "+")) -> ("mouse" "needs" "dog" "+"))
If something eats the bear and it eats the tiger then the tiger is kind.
((("something" "eats" "bear" "+") ("something" "eats" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If something needs the bear then the bear sees the dog.
((("something" "needs" "bear" "+")) -> ("bear" "sees" "dog" "+"))
If something eats the dog then the dog eats the tiger.
((("something" "eats" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
If something eats the bear then the bear needs the mouse.
((("something" "eats" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
If something is kind then it eats the mouse.
((("something" "is" "kind" "+")) -> ("something" "eats" "mouse" "+"))
The mouse is kind.
True
1
proof
[(triple6)]
("mouse" "is" "kind" "+")
triple6
The dog is not kind.
False
1
inv-proof
[(triple3)]
("dog" "is" "kind" "-")
triple3
The mouse does not need the dog.
Unknown
inv-rconc
[@1: The mouse needs the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "needs" "dog" "-")
The dog needs the mouse.
Unknown
random
[@0: The dog needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "mouse" "+")
@0: The bear needs the tiger.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The mouse eats the dog.[(triple4)] The mouse is green.[(triple5)] The mouse is kind.[(triple6)] The tiger eats the bear.[(triple7)] @1: The bear needs the mouse.[(((triple7) -> rule7))] The dog eats the mouse.[(((triple3) -> rule8))] The dog eats the tiger.[(((triple4) -> rule6))] The dog sees the tiger.[(((triple5 triple4) -> rule2))] The mouse eats the mouse.[(((triple6) -> rule8))]
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple4
The mouse is green.
("mouse" "is" "green" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple7
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple7) -> (rule7 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((triple3) -> (rule8 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
((triple4) -> (rule6 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
((triple5 triple4) -> (rule2 % int1))
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple6) -> (rule8 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1