Anne is cold. Cold people are green. If someone is green and big then they are not cold. If Anne is blue then Anne is not smart.
Anne is cold.
("Anne" "is" "cold" "+")
Cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big then they are not cold.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "-"))
If Anne is blue then Anne is not smart.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "smart" "-"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is cold.[(triple1)] @1: Anne is green.[(((triple1) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1