The mouse is big. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is not rough. If the mouse is big then the mouse is kind. Cold people are not rough. If the mouse is rough and the mouse is not big then the mouse is blue. If someone is cold and not blue then they are not kind. Big people are kind. If someone is blue and cold then they are kind.
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
If the mouse is big then the mouse is kind.
((("mouse" "is" "big" "+")) -> ("mouse" "is" "kind" "+"))
Cold people are not rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "-"))
If the mouse is rough and the mouse is not big then the mouse is blue.
((("mouse" "is" "rough" "+") ("mouse" "is" "big" "~")) -> ("mouse" "is" "blue" "+"))
If someone is cold and not blue then they are not kind.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "kind" "-"))
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and cold then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
The mouse is big.
True
1
proof
[(triple1)]
("mouse" "is" "big" "+")
triple1
The mouse is rough.
False
1
inv-proof
[(triple5 OR ((triple3) -> rule2))]
("mouse" "is" "rough" "+")
triple5
((triple3) -> (rule2 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "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 big.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] The mouse is kind.[(triple4 OR ((triple1) -> rule1) OR ((triple1) -> rule5) OR ((triple2 triple3) -> rule6))] The mouse is not rough.[(triple5 OR ((triple3) -> rule2))]
The mouse is big.
("mouse" "is" "big" "+")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
((triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple1) -> (rule5 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple2 triple3) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not rough.
("mouse" "is" "rough" "-")
triple5
((triple3) -> (rule2 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1