Anne is not blue. Anne is not cold. Anne is young. If Anne is young then Anne is not blue. If something is rough and not kind then it is white. If something is cold then it is white. Kind things are cold. Young things are rough. If something is white and not rough then it is blue. Kind, rough things are blue. If Anne is kind and Anne is not cold then Anne is white.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is young.
("Anne" "is" "young" "+")
If Anne is young then Anne is not blue.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "blue" "-"))
If something is rough and not kind then it is white.
((("something" "is" "rough" "+") ("something" "is" "kind" "~")) -> ("something" "is" "white" "+"))
If something is cold then it is white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Kind things are cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If something is white and not rough then it is blue.
((("something" "is" "white" "+") ("something" "is" "rough" "~")) -> ("something" "is" "blue" "+"))
Kind, rough things are blue.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If Anne is kind and Anne is not cold then Anne is white.
((("Anne" "is" "kind" "+") ("Anne" "is" "cold" "~")) -> ("Anne" "is" "white" "+"))
Anne is not cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Anne is blue.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule1))]
("Anne" "is" "blue" "+")
triple1
((triple3) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is rough.
True
2
proof
[(((triple3) -> rule5))]
("Anne" "is" "rough" "+")
((triple3) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple3) -> rule5))]
("Anne" "is" "rough" "-")
((triple3) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is not blue.[(triple1 OR ((triple3) -> rule1))] Anne is not cold.[(triple2)] Anne is young.[(triple3)] @1: Anne is rough.[(((triple3) -> rule5))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
((triple3) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
((triple3) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1