Erin is furry. Gary is white. If Gary is kind then Gary is not furry. If Gary is white then Gary is blue. If someone is kind and not nice then they are not white.
Erin is furry.
("Erin" "is" "furry" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is kind then Gary is not furry.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "furry" "-"))
If Gary is white then Gary is blue.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "blue" "+"))
If someone is kind and not nice then they are not white.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "white" "-"))
Gary is white.
True
1
proof
[(triple2)]
("Gary" "is" "white" "+")
triple2
Gary is not white.
False
1
inv-proof
[(triple2)]
("Gary" "is" "white" "-")
triple2
Gary is blue.
True
2
proof
[(((triple2) -> rule2))]
("Gary" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple2) -> rule2))]
("Gary" "is" "blue" "-")
((triple2) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is furry.[(triple1)] Gary is white.[(triple2)] @1: Gary is blue.[(((triple2) -> rule2))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Gary is white.
("Gary" "is" "white" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1