The mouse is not blue. The mouse is not green. The mouse is not kind. The mouse is not nice. The mouse is young. If someone is nice then they are green. If someone is blue then they are green. All nice people are blue. If the mouse is blue then the mouse is not nice. All blue people are nice. All nice people are not kind. If someone is nice then they are kind. If someone is nice and not blue then they are not young.
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is not nice.
("mouse" "is" "nice" "-")
The mouse is young.
("mouse" "is" "young" "+")
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If the mouse is blue then the mouse is not nice.
((("mouse" "is" "blue" "+")) -> ("mouse" "is" "nice" "-"))
All blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All nice people are not kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "-"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and not blue then they are not young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "young" "-"))
The mouse is not green.
True
1
proof
[(triple2)]
("mouse" "is" "green" "-")
triple2
The mouse is kind.
False
1
inv-proof
[(triple3)]
("mouse" "is" "kind" "+")
triple3
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 visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The mouse is not blue.[(triple1)] The mouse is not green.[(triple2)] The mouse is not kind.[(triple3)] The mouse is not nice.[(triple4)] The mouse is young.[(triple5)]
The mouse is not blue.
("mouse" "is" "blue" "-")
triple1
The mouse is not green.
("mouse" "is" "green" "-")
triple2
The mouse is not kind.
("mouse" "is" "kind" "-")
triple3
The mouse is not nice.
("mouse" "is" "nice" "-")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5