The mouse eats the squirrel. The mouse is nice. The mouse is young. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is cold. The squirrel is kind. The squirrel is not round. The squirrel sees the mouse. If someone chases the mouse and the mouse eats the squirrel then the mouse is cold. If someone sees the mouse and the mouse eats the squirrel then the squirrel sees the mouse. If the mouse is cold and the mouse does not chase the squirrel then the squirrel eats the mouse.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If someone chases the mouse and the mouse eats the squirrel then the mouse is cold.
((("someone" "chases" "mouse" "+") ("mouse" "eats" "squirrel" "+")) -> ("mouse" "is" "cold" "+"))
If someone sees the mouse and the mouse eats the squirrel then the squirrel sees the mouse.
((("someone" "sees" "mouse" "+") ("mouse" "eats" "squirrel" "+")) -> ("squirrel" "sees" "mouse" "+"))
If the mouse is cold and the mouse does not chase the squirrel then the squirrel eats the mouse.
((("mouse" "is" "cold" "+") ("mouse" "chases" "squirrel" "~")) -> ("squirrel" "eats" "mouse" "+"))
The mouse is young.
True
1
proof
[(triple3)]
("mouse" "is" "young" "+")
triple3
The mouse is not young.
False
1
inv-proof
[(triple3)]
("mouse" "is" "young" "-")
triple3
The mouse is cold.
True
3
proof
[(((triple5 triple1) -> rule1))]
("mouse" "is" "cold" "+")
((triple5 triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is not cold.
False
3
inv-proof
[(((triple5 triple1) -> rule1))]
("mouse" "is" "cold" "-")
((triple5 triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The mouse eats the squirrel.[(triple1)] The mouse is nice.[(triple2)] The mouse is young.[(triple3)] The mouse sees the squirrel.[(triple4)] The squirrel chases the mouse.[(triple5)] The squirrel eats the mouse.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is not round.[(triple9)] The squirrel sees the mouse.[(triple10)] @1: The mouse is cold.[(((triple5 triple1) -> rule1))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse is nice.
("mouse" "is" "nice" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple4
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple5
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is not round.
("squirrel" "is" "round" "-")
triple9
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
((triple5 triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1