Anne is not kind. Charlie is not green. If someone is rough then they are young. All kind people are smart. All cold people are rough. Young people are not kind. Kind, rough people are white. If Charlie is not young then Charlie is not smart. If someone is cold and not rough then they are green. If Charlie is not young then Charlie is white.
Anne is not kind.
("Anne" "is" "kind" "-")
Charlie is not green.
("Charlie" "is" "green" "-")
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
All cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Young people are not kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "-"))
Kind, rough people are white.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If Charlie is not young then Charlie is not smart.
((("Charlie" "is" "young" "~")) -> ("Charlie" "is" "smart" "-"))
If someone is cold and not rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "green" "+"))
If Charlie is not young then Charlie is white.
((("Charlie" "is" "young" "~")) -> ("Charlie" "is" "white" "+"))
Charlie is not green.
True
1
proof
[(triple2)]
("Charlie" "is" "green" "-")
triple2
Charlie is green.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Anne is not young.
Unknown
inv-rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Anne" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is not kind.[(triple1)] Charlie is not green.[(triple2)]
Anne is not kind.
("Anne" "is" "kind" "-")
triple1
Charlie is not green.
("Charlie" "is" "green" "-")
triple2