Anne is green. Anne is rough. Anne is young. All white people are rough. White people are rough. Rough people are white. If Anne is blue and Anne is white then Anne is rough. All green, blue people are not nice. If Anne is not white and Anne is not rough then Anne is not green.
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
All white people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
White people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If Anne is blue and Anne is white then Anne is rough.
((("Anne" "is" "blue" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "rough" "+"))
All green, blue people are not nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "-"))
If Anne is not white and Anne is not rough then Anne is not green.
((("Anne" "is" "white" "~") ("Anne" "is" "rough" "~")) -> ("Anne" "is" "green" "-"))
Anne is rough.
True
1
proof
[(triple2)]
("Anne" "is" "rough" "+")
triple2
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] @1: Anne is white.[(((triple2) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1