Dave is kind. Dave is nice. Dave is not quiet. Dave is not rough. Dave is smart. Dave is young. Erin is kind. Erin is not quiet. Erin is rough. Fiona is kind. Fiona is rough. Fiona is smart. Gary is quiet. Gary is not smart. Gary is young. If Gary is furry and Gary is smart then Gary is not nice. If something is nice and not kind then it is not quiet. If Fiona is nice and Fiona is rough then Fiona is not furry.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is young.
("Gary" "is" "young" "+")
If Gary is furry and Gary is smart then Gary is not nice.
((("Gary" "is" "furry" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "nice" "-"))
If something is nice and not kind then it is not quiet.
((("something" "is" "nice" "+") ("something" "is" "kind" "~")) -> ("something" "is" "quiet" "-"))
If Fiona is nice and Fiona is rough then Fiona is not furry.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "furry" "-"))
Gary is quiet.
True
1
proof
[(triple13)]
("Gary" "is" "quiet" "+")
triple13
Dave is rough.
False
1
inv-proof
[(triple4)]
("Dave" "is" "rough" "+")
triple4
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is not quiet.[(triple3)] Dave is not rough.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Erin is kind.[(triple7)] Erin is not quiet.[(triple8)] Erin is rough.[(triple9)] Fiona is kind.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] Gary is not smart.[(triple14)] Gary is quiet.[(triple13)] Gary is young.[(triple15)]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple3
Dave is not rough.
("Dave" "is" "rough" "-")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Gary is not smart.
("Gary" "is" "smart" "-")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is young.
("Gary" "is" "young" "+")
triple15