「その袋入りは嘘っぽくないがしかし解する」ということは誤りである
fact1: 「このジェムは酸っぱいということはないけれど暗し」ということは嘘だ fact2: このジェムは暗しとしたら「その袋入りは嘘っぽくない一方でそれは解する」ということは誤りだ fact3: このジェムは解する fact4: もしこのジェムは嘘っぽいなら「このラは暗しないけれど酸っぱい」ということは誤りだ fact5: もしその袋入りは酸っぱいならば「このラは嘘っぽいし解する」ということは成り立たない fact6: 「「「その袋入りは酸っぱくて解する」ということは間違いでない」ということは成り立たない」ということは本当だ fact7: もし仮にこのラが酸っぱいとすればこのジェムは暗し fact8: このラは酸っぱい fact9: もしもこのラは暗しなら「このジェムは酸っぱくないけれど解する」ということは間違いだ fact10: 酸っぱいものは嘘っぽくないけれど解する
fact7 & fact8 -> int1: 「このジェムは暗しない」ということは成り立たない; int1 & fact2 -> hypothesis;
その袋入りは嘘っぽくないけれど解する
fact11 -> int2: 仮にその袋入りが酸っぱいとしたら嘘っぽいということはないけれど解する;
$facts$ = fact1: 「このジェムは酸っぱいということはないけれど暗し」ということは嘘だ fact2: このジェムは暗しとしたら「その袋入りは嘘っぽくない一方でそれは解する」ということは誤りだ fact3: このジェムは解する fact4: もしこのジェムは嘘っぽいなら「このラは暗しないけれど酸っぱい」ということは誤りだ fact5: もしその袋入りは酸っぱいならば「このラは嘘っぽいし解する」ということは成り立たない fact6: 「「「その袋入りは酸っぱくて解する」ということは間違いでない」ということは成り立たない」ということは本当だ fact7: もし仮にこのラが酸っぱいとすればこのジェムは暗し fact8: このラは酸っぱい fact9: もしもこのラは暗しなら「このジェムは酸っぱくないけれど解する」ということは間違いだ fact10: 酸っぱいものは嘘っぽくないけれど解する ; $hypothesis$ = 「その袋入りは嘘っぽくないがしかし解する」ということは誤りである ; $proof$ = 
fact7 & fact8 -> int1: 「このジェムは暗しない」ということは成り立たない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 「このジェムは酸っぱいということはないけれど暗し」ということは嘘だ
事実2: このジェムは暗しとしたら「その袋入りは嘘っぽくない一方でそれは解する」ということは誤りだ
事実3: このジェムは解する
事実4: もしこのジェムは嘘っぽいなら「このラは暗しないけれど酸っぱい」ということは誤りだ
事実5: もしその袋入りは酸っぱいならば「このラは嘘っぽいし解する」ということは成り立たない
事実6: 「「「その袋入りは酸っぱくて解する」ということは間違いでない」ということは成り立たない」ということは本当だ
事実7: もし仮にこのラが酸っぱいとすればこのジェムは暗し
事実8: このラは酸っぱい
事実9: もしもこのラは暗しなら「このジェムは酸っぱくないけれど解する」ということは間違いだ
事実10: 酸っぱいものは嘘っぽくないけれど解する

仮説: 「その袋入りは嘘っぽくないがしかし解する」ということは誤りである
1. 事実7と事実8から、推論1: "「このジェムは暗しない」ということは成り立たない"が導かれる
2. 推論1と事実2から、仮説が導かれる

よって、仮説が証明されました。