Gary is quiet. All cold people are rough. Kind people are rough. Big people are rough. If someone is big and not green then they are rough. If Gary is kind and Gary is big then Gary is quiet. If Gary is rough and Gary is white then Gary is not kind. If Gary is big and Gary is white then Gary is not kind. Quiet people are white.
Gary is quiet.
("Gary" "is" "quiet" "+")
All cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and not green then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "rough" "+"))
If Gary is kind and Gary is big then Gary is quiet.
((("Gary" "is" "kind" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "quiet" "+"))
If Gary is rough and Gary is white then Gary is not kind.
((("Gary" "is" "rough" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "kind" "-"))
If Gary is big and Gary is white then Gary is not kind.
((("Gary" "is" "big" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "kind" "-"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Gary is quiet.
True
1
proof
[(triple1)]
("Gary" "is" "quiet" "+")
triple1
Gary is not quiet.
False
1
inv-proof
[(triple1)]
("Gary" "is" "quiet" "-")
triple1
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Gary is quiet.[(triple1)] @1: Gary is white.[(((triple1) -> rule8))]
Gary is quiet.
("Gary" "is" "quiet" "+")
triple1
Gary is white.
("Gary" "is" "white" "+")
((triple1) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1