The mouse is not blue. The mouse is kind. The mouse is young. If the mouse is not kind then the mouse is blue. If someone is rough and not blue then they are not green. Young, blue people are rough. If someone is young then they are rough. All green, young people are rough. If someone is rough and blue then they are not young.
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is young.
("mouse" "is" "young" "+")
If the mouse is not kind then the mouse is blue.
((("mouse" "is" "kind" "~")) -> ("mouse" "is" "blue" "+"))
If someone is rough and not blue then they are not green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "green" "-"))
Young, blue people are rough.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All green, young people are rough.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and blue then they are not young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "-"))
The mouse is young.
True
1
proof
[(triple3)]
("mouse" "is" "young" "+")
triple3
The mouse is not kind.
False
1
inv-proof
[(triple2)]
("mouse" "is" "kind" "-")
triple2
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The mouse is kind.[(triple2)] The mouse is not blue.[(triple1)] The mouse is young.[(triple3)] @1: The mouse is rough.[(((triple3) -> rule4))] @2: The mouse is not green.[(((((triple3) -> rule4) triple1) -> rule2))]
The mouse is kind.
("mouse" "is" "kind" "+")
triple2
The mouse is not blue.
("mouse" "is" "blue" "-")
triple1
The mouse is young.
("mouse" "is" "young" "+")
triple3
The mouse is rough.
("mouse" "is" "rough" "+")
((triple3) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not green.
("mouse" "is" "green" "-")
((((triple3) -> (rule4 % int2)) triple1) -> (rule2 % int1))
The mouse is not green.
("mouse" "is" "green" "-")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2