Gary is furry. Gary is not kind. Gary is young. All quiet people are not white. Quiet people are white. If someone is nice then they are white. If Gary is not quiet then Gary is green. All young people are nice. All quiet people are furry.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is young.
("Gary" "is" "young" "+")
All quiet people are not white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "-"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is nice then they are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If Gary is not quiet then Gary is green.
((("Gary" "is" "quiet" "~")) -> ("Gary" "is" "green" "+"))
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
All quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Gary is young.
True
1
proof
[(triple3)]
("Gary" "is" "young" "+")
triple3
Gary is not furry.
False
1
inv-proof
[(triple1)]
("Gary" "is" "furry" "-")
triple1
Gary is nice.
True
2
proof
[(((triple3) -> rule5))]
("Gary" "is" "nice" "+")
((triple3) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple3) -> rule5))]
("Gary" "is" "nice" "-")
((triple3) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
True
3
proof
[(((((triple3) -> rule5)) -> rule3))]
("Gary" "is" "white" "+")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not white.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule3))]
("Gary" "is" "white" "-")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Gary is furry.[(triple1)] Gary is not kind.[(triple2)] Gary is young.[(triple3)] @1: Gary is nice.[(((triple3) -> rule5))] @2: Gary is white.[(((((triple3) -> rule5)) -> rule3))]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is not kind.
("Gary" "is" "kind" "-")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
((triple3) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2