Gary is blue. Gary is kind. Gary is rough. All round people are white. If someone is blue then they are white. All white people are blue. White people are not young. If Gary is white and Gary is round then Gary is not young. Rough, white people are kind.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
All white people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
White people are not young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "-"))
If Gary is white and Gary is round then Gary is not young.
((("Gary" "is" "white" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "young" "-"))
Rough, white people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Gary is rough.
True
1
proof
[(triple3)]
("Gary" "is" "rough" "+")
triple3
Gary is not blue.
False
1
inv-proof
[(triple1)]
("Gary" "is" "blue" "-")
triple1
Gary is white.
True
2
proof
[(((triple1) -> rule2))]
("Gary" "is" "white" "+")
((triple1) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple1) -> rule2))]
("Gary" "is" "white" "-")
((triple1) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not young.
True
3
proof
[(((((triple1) -> rule2)) -> rule4))]
("Gary" "is" "young" "-")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule4))]
("Gary" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Gary is blue.[(triple1)] Gary is kind.[(triple2 OR ((triple3 ((triple1) -> rule2)) -> rule6))] Gary is rough.[(triple3)] @1: Gary is white.[(((triple1) -> rule2))] @2: Gary is not young.[(((((triple1) -> rule2)) -> rule4))]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
((triple3 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
((triple1) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not young.
("Gary" "is" "young" "-")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2