The mouse is not blue. The mouse is not cold. The mouse is not kind. The mouse is nice. The mouse is not rough. If something is kind then it is nice. Kind, rough things are not nice. Kind things are nice. Rough things are not nice. If the mouse is not rough then the mouse is nice. If something is kind then it is blue. If something is kind and not nice then it is blue. If something is cold and rough then it is not blue.
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
If something is kind then it is nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Kind, rough things are not nice.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "-"))
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Rough things are not nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "-"))
If the mouse is not rough then the mouse is nice.
((("mouse" "is" "rough" "~")) -> ("mouse" "is" "nice" "+"))
If something is kind then it is blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something is kind and not nice then it is blue.
((("something" "is" "kind" "+") ("something" "is" "nice" "~")) -> ("something" "is" "blue" "+"))
If something is cold and rough then it is not blue.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "-"))
The mouse is not rough.
True
1
proof
[(triple5)]
("mouse" "is" "rough" "-")
triple5
The mouse is not nice.
False
1
inv-proof
[(triple4 OR ((triple5) -> rule5))]
("mouse" "is" "nice" "-")
triple4
((triple5) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
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 sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The mouse is nice.[(triple4 OR ((triple5) -> rule5))] The mouse is not blue.[(triple1)] The mouse is not cold.[(triple2)] The mouse is not kind.[(triple3)] The mouse is not rough.[(triple5)]
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
((triple5) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is not blue.
("mouse" "is" "blue" "-")
triple1
The mouse is not cold.
("mouse" "is" "cold" "-")
triple2
The mouse is not kind.
("mouse" "is" "kind" "-")
triple3
The mouse is not rough.
("mouse" "is" "rough" "-")
triple5