Anne is kind. If Anne is kind and Anne is young then Anne is rough. All kind, round people are young. All round, kind people are nice. All quiet people are young. All young, quiet people are kind. If Anne is young and Anne is blue then Anne is rough.
Anne is kind.
("Anne" "is" "kind" "+")
If Anne is kind and Anne is young then Anne is rough.
((("Anne" "is" "kind" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "rough" "+"))
All kind, round people are young.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
All round, kind people are nice.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All young, quiet people are kind.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If Anne is young and Anne is blue then Anne is rough.
((("Anne" "is" "young" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "rough" "+"))
Anne is kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is kind.[(triple1)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1