Dave is not kind. Dave is white. Gary is big. Gary is blue. Gary is not kind. Gary is quiet. Gary is rough. If someone is white then they are rough. If someone is kind and not blue then they are rough.
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is white.
("Dave" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is white then they are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and not blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "rough" "+"))
Gary is quiet.
True
1
proof
[(triple6)]
("Gary" "is" "quiet" "+")
triple6
Gary is not quiet.
False
1
inv-proof
[(triple6)]
("Gary" "is" "quiet" "-")
triple6
Dave is rough.
True
2
proof
[(((triple2) -> rule1))]
("Dave" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("Dave" "is" "rough" "-")
((triple2) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is not kind.[(triple1)] Dave is white.[(triple2)] Gary is big.[(triple3)] Gary is blue.[(triple4)] Gary is not kind.[(triple5)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] @1: Dave is rough.[(((triple2) -> rule1))]
Dave is not kind.
("Dave" "is" "kind" "-")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is not kind.
("Gary" "is" "kind" "-")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1