Gary is white. If someone is quiet then they are not kind. If someone is white then they are cold. If Gary is white then Gary is not rough. If Gary is quiet and Gary is white then Gary is rough. White people are not quiet. Nice, big people are rough. Cold people are nice. If Gary is white and Gary is not nice then Gary is kind.
Gary is white.
("Gary" "is" "white" "+")
If someone is quiet then they are not kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "-"))
If someone is white then they are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If Gary is white then Gary is not rough.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "rough" "-"))
If Gary is quiet and Gary is white then Gary is rough.
((("Gary" "is" "quiet" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "rough" "+"))
White people are not quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "-"))
Nice, big people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If Gary is white and Gary is not nice then Gary is kind.
((("Gary" "is" "white" "+") ("Gary" "is" "nice" "~")) -> ("Gary" "is" "kind" "+"))
Gary is white.
True
1
proof
[(triple1)]
("Gary" "is" "white" "+")
triple1
Gary is not white.
False
1
inv-proof
[(triple1)]
("Gary" "is" "white" "-")
triple1
Gary is cold.
True
2
proof
[(((triple1) -> rule2))]
("Gary" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
False
2
inv-proof
[(((triple1) -> rule5))]
("Gary" "is" "quiet" "+")
((triple1) -> (rule5 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is nice.
True
3
proof
[(((((triple1) -> rule2)) -> rule7))]
("Gary" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not nice.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule7))]
("Gary" "is" "nice" "-")
((((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Gary is white.[(triple1)] @1: Gary is cold.[(((triple1) -> rule2))] Gary is not quiet.[(((triple1) -> rule5))] Gary is not rough.[(((triple1) -> rule3))] @2: Gary is nice.[(((((triple1) -> rule2)) -> rule7))]
Gary is white.
("Gary" "is" "white" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
((triple1) -> (rule5 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is not rough.
("Gary" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2