Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Gary is quiet. Gary is red. If Anne is kind then Anne is not red. If Anne is not quiet then Anne is kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
If Anne is kind then Anne is not red.
((("Anne" "is" "kind" "+")) -> ("Anne" "is" "red" "-"))
If Anne is not quiet then Anne is kind.
((("Anne" "is" "quiet" "~")) -> ("Anne" "is" "kind" "+"))
Anne is rough.
True
1
proof
[(triple5)]
("Anne" "is" "rough" "+")
triple5
Anne is not rough.
False
1
inv-proof
[(triple5)]
("Anne" "is" "rough" "-")
triple5
Anne is not red.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "red" "-")
((triple3) -> (rule1 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is red.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "red" "+")
((triple3) -> (rule1 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Gary is quiet.[(triple6)] Gary is red.[(triple7)] @1: Anne is not red.[(((triple3) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Anne is not red.
("Anne" "is" "red" "-")
((triple3) -> (rule1 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1