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