Gary is big. Gary is blue. Gary is quiet. If Gary is rough then Gary is white. If Gary is blue and Gary is big then Gary is rough.
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Gary is rough then Gary is white.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "white" "+"))
If Gary is blue and Gary is big then Gary is rough.
((("Gary" "is" "blue" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "rough" "+"))
Gary is big.
True
1
proof
[(triple1)]
("Gary" "is" "big" "+")
triple1
Gary is not big.
False
1
inv-proof
[(triple1)]
("Gary" "is" "big" "-")
triple1
Gary is rough.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Gary" "is" "rough" "+")
((triple2 triple1) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Gary" "is" "rough" "-")
((triple2 triple1) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
True
4
proof
[(((((triple2 triple1) -> rule2)) -> rule1))]
("Gary" "is" "white" "+")
((((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not white.
False
4
inv-proof
[(((((triple2 triple1) -> rule2)) -> rule1))]
("Gary" "is" "white" "-")
((((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is rough.[(((triple2 triple1) -> rule2))] @2: Gary is white.[(((((triple2 triple1) -> rule2)) -> rule1))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
((triple2 triple1) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2