The mouse eats the tiger. The mouse is big. The squirrel chases the tiger. The squirrel eats the mouse. The squirrel eats the tiger. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel needs the mouse. The squirrel needs the tiger. The tiger chases the mouse. The tiger does not chase the squirrel. If something chases the mouse and it eats the tiger then the mouse chases the tiger. If the mouse is big then the mouse eats the tiger. If something chases the mouse and it is not big then the mouse eats the tiger. If something chases the squirrel then the squirrel chases the mouse. If something is red and it does not need the tiger then it needs the mouse. If something is kind and it eats the mouse then it does not chase the mouse. If something eats the tiger and it does not chase the squirrel then the tiger does not chase the mouse. If something is green and it does not chase the mouse then it is not blue.
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
If something chases the mouse and it eats the tiger then the mouse chases the tiger.
((("something" "chases" "mouse" "+") ("something" "eats" "tiger" "+")) -> ("mouse" "chases" "tiger" "+"))
If the mouse is big then the mouse eats the tiger.
((("mouse" "is" "big" "+")) -> ("mouse" "eats" "tiger" "+"))
If something chases the mouse and it is not big then the mouse eats the tiger.
((("something" "chases" "mouse" "+") ("something" "is" "big" "~")) -> ("mouse" "eats" "tiger" "+"))
If something chases the squirrel then the squirrel chases the mouse.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "mouse" "+"))
If something is red and it does not need the tiger then it needs the mouse.
((("something" "is" "red" "+") ("something" "needs" "tiger" "~")) -> ("something" "needs" "mouse" "+"))
If something is kind and it eats the mouse then it does not chase the mouse.
((("something" "is" "kind" "+") ("something" "eats" "mouse" "+")) -> ("something" "chases" "mouse" "-"))
If something eats the tiger and it does not chase the squirrel then the tiger does not chase the mouse.
((("something" "eats" "tiger" "+") ("something" "chases" "squirrel" "~")) -> ("tiger" "chases" "mouse" "-"))
If something is green and it does not chase the mouse then it is not blue.
((("something" "is" "green" "+") ("something" "chases" "mouse" "~")) -> ("something" "is" "blue" "-"))
The squirrel chases the tiger.
True
1
proof
[(triple3)]
("squirrel" "chases" "tiger" "+")
triple3
The mouse does not eat the tiger.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule2))]
("mouse" "eats" "tiger" "-")
triple1
((triple2) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The squirrel does not chase the mouse.
True
3
proof
[(((triple7 triple4) -> rule6))]
("squirrel" "chases" "mouse" "-")
((triple7 triple4) -> (rule6 % int1))
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
int1
The squirrel chases the mouse.
False
3
inv-proof
[(((triple7 triple4) -> rule6))]
("squirrel" "chases" "mouse" "+")
((triple7 triple4) -> (rule6 % int1))
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
int1
The squirrel is not blue.
True
5
proof
[(((triple6 ((triple7 triple4) -> rule6)) -> rule8))]
("squirrel" "is" "blue" "-")
((triple6 ((triple7 triple4) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
int2
The squirrel is blue.
False
5
inv-proof
[(((triple6 ((triple7 triple4) -> rule6)) -> rule8))]
("squirrel" "is" "blue" "+")
((triple6 ((triple7 triple4) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
int2
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The tiger needs the mouse.
Unknown
rconc
[@1: The tiger needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "needs" "mouse" "+")
The mouse does not chase the tiger.
Unknown
inv-rconc
[@1: The mouse chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "tiger" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The tiger does not eat the mouse.
Unknown
inv-random
[@0: The tiger eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "mouse" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The mouse eats the tiger.[(triple1 OR ((triple2) -> rule2))] The mouse is big.[(triple2)] The squirrel chases the tiger.[(triple3)] The squirrel eats the mouse.[(triple4)] The squirrel eats the tiger.[(triple5)] The squirrel is green.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is red.[(triple8)] The squirrel needs the mouse.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger does not chase the squirrel.[(triple12)] @1: The squirrel does not chase the mouse.[(((triple7 triple4) -> rule6))] @2: The squirrel is not blue.[(((triple6 ((triple7 triple4) -> rule6)) -> rule8))]
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple1
((triple2) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple3
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple4
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple5
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple9
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple10
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple11
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple12
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
((triple7 triple4) -> (rule6 % int1))
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
int1
The squirrel is not blue.
("squirrel" "is" "blue" "-")
((triple6 ((triple7 triple4) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
int2