The dog eats the squirrel. The dog does not eat the tiger. The dog is round. The dog does not need the mouse. The dog sees the mouse. The mouse eats the squirrel. The mouse is big. The mouse is green. The mouse sees the squirrel. The mouse sees the tiger. The squirrel is cold. The tiger does not need the squirrel. If someone eats the mouse then they are red. If someone sees the mouse then they do not see the squirrel. If someone eats the mouse then they see the squirrel. If someone eats the squirrel and they do not eat the dog then they eat the tiger. If someone needs the tiger then the tiger does not see the dog. If the dog eats the squirrel and the squirrel eats the tiger then the tiger is red. If the mouse is big and the mouse needs the tiger then the tiger needs the mouse. If someone eats the squirrel and they do not see the squirrel then the squirrel is not big.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog does not eat the tiger.
("dog" "eats" "tiger" "-")
The dog is round.
("dog" "is" "round" "+")
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
If someone eats the mouse then they are red.
((("someone" "eats" "mouse" "+")) -> ("someone" "is" "red" "+"))
If someone sees the mouse then they do not see the squirrel.
((("someone" "sees" "mouse" "+")) -> ("someone" "sees" "squirrel" "-"))
If someone eats the mouse then they see the squirrel.
((("someone" "eats" "mouse" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone eats the squirrel and they do not eat the dog then they eat the tiger.
((("someone" "eats" "squirrel" "+") ("someone" "eats" "dog" "~")) -> ("someone" "eats" "tiger" "+"))
If someone needs the tiger then the tiger does not see the dog.
((("someone" "needs" "tiger" "+")) -> ("tiger" "sees" "dog" "-"))
If the dog eats the squirrel and the squirrel eats the tiger then the tiger is red.
((("dog" "eats" "squirrel" "+") ("squirrel" "eats" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If the mouse is big and the mouse needs the tiger then the tiger needs the mouse.
((("mouse" "is" "big" "+") ("mouse" "needs" "tiger" "+")) -> ("tiger" "needs" "mouse" "+"))
If someone eats the squirrel and they do not see the squirrel then the squirrel is not big.
((("someone" "eats" "squirrel" "+") ("someone" "sees" "squirrel" "~")) -> ("squirrel" "is" "big" "-"))
The mouse eats the squirrel.
True
1
proof
[(triple6)]
("mouse" "eats" "squirrel" "+")
triple6
The tiger needs the squirrel.
False
1
inv-proof
[(triple12)]
("tiger" "needs" "squirrel" "+")
triple12
The dog does not see the squirrel.
True
2
proof
[(((triple5) -> rule2))]
("dog" "sees" "squirrel" "-")
((triple5) -> (rule2 % int1))
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
int1
The dog sees the squirrel.
False
2
inv-proof
[(((triple5) -> rule2))]
("dog" "sees" "squirrel" "+")
((triple5) -> (rule2 % int1))
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
int1
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "red" "+")
The squirrel does not eat the dog.
Unknown
inv-random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "-")
The mouse eats the dog.
Unknown
random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "+")
@0: The dog does not eat the tiger.[(triple2)] The dog does not need the mouse.[(triple4)] The dog eats the squirrel.[(triple1)] The dog is round.[(triple3)] The dog sees the mouse.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is big.[(triple7)] The mouse is green.[(triple8)] The mouse sees the squirrel.[(triple9)] The mouse sees the tiger.[(triple10)] The squirrel is cold.[(triple11)] The tiger does not need the squirrel.[(triple12)] @1: The dog does not see the squirrel.[(((triple5) -> rule2))] @2: The squirrel is not big.[(((triple1 ((triple5) -> rule2)) -> rule8))]
The dog does not eat the tiger.
("dog" "eats" "tiger" "-")
triple2
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
triple4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
triple3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple5
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple6
The mouse is big.
("mouse" "is" "big" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple9
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
triple12
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
((triple5) -> (rule2 % int1))
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
int1
The squirrel is not big.
("squirrel" "is" "big" "-")
((triple1 ((triple5) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel is not big.
("squirrel" "is" "big" "-")
int1
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
int2