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