Gary is quiet. All smart people are green. All rough people are smart. All quiet people are furry. All quiet, blue people are furry. All blue, cold people are furry. If someone is cold and not blue then they are furry. Rough people are furry. If someone is furry and not green then they are not quiet.
Gary is quiet.
("Gary" "is" "quiet" "+")
All smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
All quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
All quiet, blue people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All blue, cold people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is cold and not blue then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "furry" "+"))
Rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and not green then they are not quiet.
((("someone" "is" "furry" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "quiet" "-"))
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 furry.
True
2
proof
[(((triple1) -> rule3))]
("Gary" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple1) -> rule3))]
("Gary" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Gary is quiet.[(triple1)] @1: Gary is furry.[(((triple1) -> rule3))]
Gary is quiet.
("Gary" "is" "quiet" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1