Erin is kind. Gary is white. All red, white things are not furry. All young things are white. Kind, young things are white. Furry, young things are quiet. If Gary is white then Gary is kind. If Gary is not white and Gary is not furry then Gary is quiet.
Erin is kind.
("Erin" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
All red, white things are not furry.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "-"))
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Kind, young things are white.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Furry, young things are quiet.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
If Gary is white then Gary is kind.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "kind" "+"))
If Gary is not white and Gary is not furry then Gary is quiet.
((("Gary" "is" "white" "~") ("Gary" "is" "furry" "~")) -> ("Gary" "is" "quiet" "+"))
Erin is kind.
True
1
proof
[(triple1)]
("Erin" "is" "kind" "+")
triple1
Gary is not white.
False
1
inv-proof
[(triple2)]
("Gary" "is" "white" "-")
triple2
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is kind.[(triple1)] Gary is white.[(triple2)] @1: Gary is kind.[(((triple2) -> rule5))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Gary is white.
("Gary" "is" "white" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
((triple2) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1