The dog does not eat the mouse. The dog is green. The dog is nice. The dog needs the mouse. The dog needs the tiger. The dog visits the tiger. The mouse visits the tiger. The squirrel eats the tiger. The squirrel is young. The squirrel needs the mouse. The squirrel visits the mouse. The tiger eats the mouse. The tiger is green. The tiger is young. The tiger needs the dog. The tiger does not need the mouse. If something eats the tiger then it is not kind. If something visits the tiger then it is not kind. If something visits the mouse then it is young. If something needs the squirrel then it needs the mouse. If the dog is young and the dog is not kind then the dog is nice. If something is nice and it eats the dog then the dog eats the mouse.
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger does not need the mouse.
("tiger" "needs" "mouse" "-")
If something eats the tiger then it is not kind.
((("something" "eats" "tiger" "+")) -> ("something" "is" "kind" "-"))
If something visits the tiger then it is not kind.
((("something" "visits" "tiger" "+")) -> ("something" "is" "kind" "-"))
If something visits the mouse then it is young.
((("something" "visits" "mouse" "+")) -> ("something" "is" "young" "+"))
If something needs the squirrel then it needs the mouse.
((("something" "needs" "squirrel" "+")) -> ("something" "needs" "mouse" "+"))
If the dog is young and the dog is not kind then the dog is nice.
((("dog" "is" "young" "+") ("dog" "is" "kind" "~")) -> ("dog" "is" "nice" "+"))
If something is nice and it eats the dog then the dog eats the mouse.
((("something" "is" "nice" "+") ("something" "eats" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
The squirrel is young.
True
1
proof
[(triple9 OR ((triple11) -> rule3))]
("squirrel" "is" "young" "+")
triple9
((triple11) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel does not eat the tiger.
False
1
inv-proof
[(triple8)]
("squirrel" "eats" "tiger" "-")
triple8
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "young" "-")
The mouse eats the squirrel.
Unknown
random
[@0: The mouse eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "squirrel" "+")
@0: The dog does not eat the mouse.[(triple1)] The dog is green.[(triple2)] The dog is nice.[(triple3)] The dog needs the mouse.[(triple4)] The dog needs the tiger.[(triple5)] The dog visits the tiger.[(triple6)] The mouse visits the tiger.[(triple7)] The squirrel eats the tiger.[(triple8)] The squirrel is young.[(triple9 OR ((triple11) -> rule3))] The squirrel needs the mouse.[(triple10)] The squirrel visits the mouse.[(triple11)] The tiger does not need the mouse.[(triple16)] The tiger eats the mouse.[(triple12)] The tiger is green.[(triple13)] The tiger is young.[(triple14)] The tiger needs the dog.[(triple15)] @1: The dog is not kind.[(((triple6) -> rule2))] The mouse is not kind.[(((triple7) -> rule2))] The squirrel is not kind.[(((triple8) -> rule1))]
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple5
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple6
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple7
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
((triple11) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple10
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple11
The tiger does not need the mouse.
("tiger" "needs" "mouse" "-")
triple16
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple15
The dog is not kind.
("dog" "is" "kind" "-")
((triple6) -> (rule2 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1
The mouse is not kind.
("mouse" "is" "kind" "-")
((triple7) -> (rule2 % int1))
The mouse is not kind.
("mouse" "is" "kind" "-")
int1
The squirrel is not kind.
("squirrel" "is" "kind" "-")
((triple8) -> (rule1 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1