Gary is white. If something is white then it is quiet. If something is quiet and nice then it is blue. If something is quiet and young then it is nice.
Gary is white.
("Gary" "is" "white" "+")
If something is white then it is quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet and nice then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and young then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
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 quiet.
True
2
proof
[(((triple1) -> rule1))]
("Gary" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple1) -> rule1))]
("Gary" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Gary is white.[(triple1)] @1: Gary is quiet.[(((triple1) -> rule1))]
Gary is white.
("Gary" "is" "white" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1