The mouse chases the squirrel. The mouse is green. The mouse is kind. The mouse is nice. The mouse is red. The mouse is young. The mouse does not like the squirrel. The mouse does not need the squirrel. The squirrel chases the mouse. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is young. The squirrel likes the mouse. The squirrel needs the mouse. If something needs the mouse and the mouse chases the squirrel then it chases the squirrel. If something likes the mouse then it chases the mouse. If something chases the squirrel and it needs the squirrel then it is not nice.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
The mouse does not need the squirrel.
("mouse" "needs" "squirrel" "-")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If something needs the mouse and the mouse chases the squirrel then it chases the squirrel.
((("something" "needs" "mouse" "+") ("mouse" "chases" "squirrel" "+")) -> ("something" "chases" "squirrel" "+"))
If something likes the mouse then it chases the mouse.
((("something" "likes" "mouse" "+")) -> ("something" "chases" "mouse" "+"))
If something chases the squirrel and it needs the squirrel then it is not nice.
((("something" "chases" "squirrel" "+") ("something" "needs" "squirrel" "+")) -> ("something" "is" "nice" "-"))
The mouse is green.
True
1
proof
[(triple2)]
("mouse" "is" "green" "+")
triple2
The mouse is not red.
False
1
inv-proof
[(triple5)]
("mouse" "is" "red" "-")
triple5
The squirrel chases the squirrel.
True
3
proof
[(((triple15 triple1) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((triple15 triple1) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
3
inv-proof
[(((triple15 triple1) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((triple15 triple1) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
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 squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The mouse chases the squirrel.[(triple1)] The mouse does not like the squirrel.[(triple7)] The mouse does not need the squirrel.[(triple8)] The mouse is green.[(triple2)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5)] The mouse is young.[(triple6)] The squirrel chases the mouse.[(triple9 OR ((triple14) -> rule2))] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is red.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The squirrel chases the squirrel.[(((triple15 triple1) -> rule1))]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
triple7
The mouse does not need the squirrel.
("mouse" "needs" "squirrel" "-")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
((triple14) -> (rule2 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple15 triple1) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1