Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Gary is not cold. Gary is not kind. Gary is nice. Gary is not red. Gary is not rough. If someone is quiet and not cold then they are not nice. If Gary is kind and Gary is not green then Gary is nice. If someone is quiet and not cold then they are not kind.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is not rough.
("Gary" "is" "rough" "-")
If someone is quiet and not cold then they are not nice.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "nice" "-"))
If Gary is kind and Gary is not green then Gary is nice.
((("Gary" "is" "kind" "+") ("Gary" "is" "green" "~")) -> ("Gary" "is" "nice" "+"))
If someone is quiet and not cold then they are not kind.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "kind" "-"))
Gary is not kind.
True
1
proof
[(triple7)]
("Gary" "is" "kind" "-")
triple7
Gary is kind.
False
1
inv-proof
[(triple7)]
("Gary" "is" "kind" "+")
triple7
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Gary is nice.[(triple8)] Gary is not cold.[(triple6)] Gary is not kind.[(triple7)] Gary is not red.[(triple9)] Gary is not rough.[(triple10)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not cold.
("Gary" "is" "cold" "-")
triple6
Gary is not kind.
("Gary" "is" "kind" "-")
triple7
Gary is not red.
("Gary" "is" "red" "-")
triple9
Gary is not rough.
("Gary" "is" "rough" "-")
triple10