Anne is quiet. Charlie is quiet. Dave is quiet. If Dave is nice and Dave is rough then Dave is cold. Round people are cold. All rough, nice people are white. Round, kind people are rough. If Dave is quiet and Dave is round then Dave is kind. All kind, cold people are white. Nice, rough people are white. If Anne is white and Anne is rough then Anne is cold.
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
If Dave is nice and Dave is rough then Dave is cold.
((("Dave" "is" "nice" "+") ("Dave" "is" "rough" "+")) -> ("Dave" "is" "cold" "+"))
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
All rough, nice people are white.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Round, kind people are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If Dave is quiet and Dave is round then Dave is kind.
((("Dave" "is" "quiet" "+") ("Dave" "is" "round" "+")) -> ("Dave" "is" "kind" "+"))
All kind, cold people are white.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
Nice, rough people are white.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If Anne is white and Anne is rough then Anne is cold.
((("Anne" "is" "white" "+") ("Anne" "is" "rough" "+")) -> ("Anne" "is" "cold" "+"))
Dave is quiet.
True
1
proof
[(triple3)]
("Dave" "is" "quiet" "+")
triple3
Dave is not quiet.
False
1
inv-proof
[(triple3)]
("Dave" "is" "quiet" "-")
triple3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "kind" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is quiet.[(triple1)] Charlie is quiet.[(triple2)] Dave is quiet.[(triple3)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3