The dog is young. The mouse is big. The squirrel eats the mouse. The tiger likes the dog. If someone eats the mouse then the mouse needs the dog. If someone likes the tiger and they eat the dog then they eat the squirrel.
The dog is young.
("dog" "is" "young" "+")
The mouse is big.
("mouse" "is" "big" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If someone eats the mouse then the mouse needs the dog.
((("someone" "eats" "mouse" "+")) -> ("mouse" "needs" "dog" "+"))
If someone likes the tiger and they eat the dog then they eat the squirrel.
((("someone" "likes" "tiger" "+") ("someone" "eats" "dog" "+")) -> ("someone" "eats" "squirrel" "+"))
The mouse is big.
True
1
proof
[(triple2)]
("mouse" "is" "big" "+")
triple2
The dog is not young.
False
1
inv-proof
[(triple1)]
("dog" "is" "young" "-")
triple1
The mouse needs the dog.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "needs" "dog" "+")
((triple3) -> (rule1 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
The mouse does not need the dog.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "needs" "dog" "-")
((triple3) -> (rule1 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
The mouse does not eat the squirrel.
Unknown
inv-rconc
[@1: The mouse eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not need the dog.
Unknown
inv-random
[@0: The squirrel needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "dog" "-")
The mouse eats the tiger.
Unknown
random
[@0: The mouse eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "tiger" "+")
@0: The dog is young.[(triple1)] The mouse is big.[(triple2)] The squirrel eats the mouse.[(triple3)] The tiger likes the dog.[(triple4)] @1: The mouse needs the dog.[(((triple3) -> rule1))]
The dog is young.
("dog" "is" "young" "+")
triple1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple3
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple4
The mouse needs the dog.
("mouse" "needs" "dog" "+")
((triple3) -> (rule1 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1