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