Anne is green. Anne is nice. Anne is young. If Anne is green and Anne is nice then Anne is cold. If something is green then it is rough. If something is quiet and not rough then it is not young.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
If Anne is green and Anne is nice then Anne is cold.
((("Anne" "is" "green" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "cold" "+"))
If something is green then it is rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is quiet and not rough then it is not young.
((("something" "is" "quiet" "+") ("something" "is" "rough" "~")) -> ("something" "is" "young" "-"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] @1: Anne is cold.[(((triple1 triple2) -> rule1))] Anne is rough.[(((triple1) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Anne is cold.
("Anne" "is" "cold" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1