Anne is cold. Anne is rough. Anne is young. If Anne is blue then Anne is cold. If something is rough and smart then it is cold. If something is big and furry then it is cold. All smart, cold things are not blue. Smart things are not furry. If Anne is young and Anne is not rough then Anne is smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
If Anne is blue then Anne is cold.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "cold" "+"))
If something is rough and smart then it is cold.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
If something is big and furry then it is cold.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
All smart, cold things are not blue.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "-"))
Smart things are not furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "-"))
If Anne is young and Anne is not rough then Anne is smart.
((("Anne" "is" "young" "+") ("Anne" "is" "rough" "~")) -> ("Anne" "is" "smart" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is not rough.
False
1
inv-proof
[(triple2)]
("Anne" "is" "rough" "-")
triple2
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3