「あのパート勤務は鍋トロでないがそれは作り易い」ということは成り立たない
fact1: 「その不良グループは神戸市内でかつ関係者全員である」ということは嘘だ fact2: もし「その不良グループは神戸市内だけれど関係者全員であるということはない」ということは本当でないとしたら「この海難供養碑は分解され難くない」ということは本当だ fact3: 「あのパート勤務は鍋トロだし作り易い」ということは事実と異なる fact4: 「その不良グループは心深しということはないが漢字表札である」ということは成り立たない fact5: 仮に「その不良グループは関係者全員だ」ということは成り立つとしたらこの海難供養碑は分解され難くない fact6: もしも「その不良グループは心深くないけど漢字表札である」ということは成り立つということはないとするとそれは漢字表札でない fact7: もしあるものが分解され難くないとするとそれはすんごいということはない fact8: その不良グループは関係者全員でない fact9: もしも「この海難供養碑はすんごいがしかしそれは棒読みでない」ということは成り立つということはないならその不良グループはすんごくない fact10: あの文字パレットは鍋トロであるということはないとすると「あのパート勤務は鍋トロだし作り易い」ということは誤っている fact11: 仮にこの海難供養碑がすんごいということはないとしたらあの文字パレットは棒読みだ fact12: あの文字パレットは棒読みである fact13: もしその不良グループが神戸市内でそれが関係者全員だとすればそれは漢字表札である fact14: もしあの文字パレットは鍋トロでないならば「あのパート勤務は鍋トロでない一方で作り易い」ということは成り立たない fact15: 仮に「この海難供養碑はすんごくない」ということは成り立つとしたらあの文字パレットは棒読みだけど鍋トロでない fact16: もしなにかはすんごくないとすれば漢字表札でないし分解され難くない fact17: もし仮にその不良グループが神戸市内だけれどそれが関係者全員だということはないならばそれは漢字表札である
void -> assump1: 以下のように仮定する。その不良グループは神戸市内であるけど関係者全員でない; fact17 & assump1 -> int1: その不良グループは漢字表札だ; fact6 & fact4 -> int2: その不良グループは漢字表札でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その不良グループは神戸市内だがしかし関係者全員でない」ということは嘘だ; int4 & fact2 -> int5: この海難供養碑は分解され難くない; fact7 -> int6: この海難供養碑が分解され難くないとすればすんごくない; int5 & int6 -> int7: この海難供養碑はすんごいということはない; int7 & fact15 -> int8: あの文字パレットは棒読みだけれど鍋トロでない; int8 -> int9: あの文字パレットは鍋トロでない; int9 & fact14 -> hypothesis;
「その異形は作り易くない」ということは真実である
fact19 -> int10: その不良グループはすんごくないとすると「それは漢字表札でなくてかつ分解され難いということはない」ということは成り立つ;
$facts$ = fact1: 「その不良グループは神戸市内でかつ関係者全員である」ということは嘘だ fact2: もし「その不良グループは神戸市内だけれど関係者全員であるということはない」ということは本当でないとしたら「この海難供養碑は分解され難くない」ということは本当だ fact3: 「あのパート勤務は鍋トロだし作り易い」ということは事実と異なる fact4: 「その不良グループは心深しということはないが漢字表札である」ということは成り立たない fact5: 仮に「その不良グループは関係者全員だ」ということは成り立つとしたらこの海難供養碑は分解され難くない fact6: もしも「その不良グループは心深くないけど漢字表札である」ということは成り立つということはないとするとそれは漢字表札でない fact7: もしあるものが分解され難くないとするとそれはすんごいということはない fact8: その不良グループは関係者全員でない fact9: もしも「この海難供養碑はすんごいがしかしそれは棒読みでない」ということは成り立つということはないならその不良グループはすんごくない fact10: あの文字パレットは鍋トロであるということはないとすると「あのパート勤務は鍋トロだし作り易い」ということは誤っている fact11: 仮にこの海難供養碑がすんごいということはないとしたらあの文字パレットは棒読みだ fact12: あの文字パレットは棒読みである fact13: もしその不良グループが神戸市内でそれが関係者全員だとすればそれは漢字表札である fact14: もしあの文字パレットは鍋トロでないならば「あのパート勤務は鍋トロでない一方で作り易い」ということは成り立たない fact15: 仮に「この海難供養碑はすんごくない」ということは成り立つとしたらあの文字パレットは棒読みだけど鍋トロでない fact16: もしなにかはすんごくないとすれば漢字表札でないし分解され難くない fact17: もし仮にその不良グループが神戸市内だけれどそれが関係者全員だということはないならばそれは漢字表札である ; $hypothesis$ = 「あのパート勤務は鍋トロでないがそれは作り易い」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その不良グループは神戸市内であるけど関係者全員でない; fact17 & assump1 -> int1: その不良グループは漢字表札だ; fact6 & fact4 -> int2: その不良グループは漢字表札でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その不良グループは神戸市内だがしかし関係者全員でない」ということは嘘だ; int4 & fact2 -> int5: この海難供養碑は分解され難くない; fact7 -> int6: この海難供養碑が分解され難くないとすればすんごくない; int5 & int6 -> int7: この海難供養碑はすんごいということはない; int7 & fact15 -> int8: あの文字パレットは棒読みだけれど鍋トロでない; int8 -> int9: あの文字パレットは鍋トロでない; int9 & fact14 -> hypothesis; __PROVED__
事実1: 「その不良グループは神戸市内でかつ関係者全員である」ということは嘘だ
事実2: もし「その不良グループは神戸市内だけれど関係者全員であるということはない」ということは本当でないとしたら「この海難供養碑は分解され難くない」ということは本当だ
事実3: 「あのパート勤務は鍋トロだし作り易い」ということは事実と異なる
事実4: 「その不良グループは心深しということはないが漢字表札である」ということは成り立たない
事実5: 仮に「その不良グループは関係者全員だ」ということは成り立つとしたらこの海難供養碑は分解され難くない
事実6: もしも「その不良グループは心深くないけど漢字表札である」ということは成り立つということはないとするとそれは漢字表札でない
事実7: もしあるものが分解され難くないとするとそれはすんごいということはない
事実8: その不良グループは関係者全員でない
事実9: もしも「この海難供養碑はすんごいがしかしそれは棒読みでない」ということは成り立つということはないならその不良グループはすんごくない
事実10: あの文字パレットは鍋トロであるということはないとすると「あのパート勤務は鍋トロだし作り易い」ということは誤っている
事実11: 仮にこの海難供養碑がすんごいということはないとしたらあの文字パレットは棒読みだ
事実12: あの文字パレットは棒読みである
事実13: もしその不良グループが神戸市内でそれが関係者全員だとすればそれは漢字表札である
事実14: もしあの文字パレットは鍋トロでないならば「あのパート勤務は鍋トロでない一方で作り易い」ということは成り立たない
事実15: 仮に「この海難供養碑はすんごくない」ということは成り立つとしたらあの文字パレットは棒読みだけど鍋トロでない
事実16: もしなにかはすんごくないとすれば漢字表札でないし分解され難くない
事実17: もし仮にその不良グループが神戸市内だけれどそれが関係者全員だということはないならばそれは漢字表札である

仮説: 「あのパート勤務は鍋トロでないがそれは作り易い」ということは成り立たない
1. 仮定1: 以下のように仮定する。その不良グループは神戸市内であるけど関係者全員でない
2. 事実17と仮定1から、推論1: "その不良グループは漢字表札だ"が導かれる
3. 事実6と事実4から、推論2: "その不良グループは漢字表札でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その不良グループは神戸市内だがしかし関係者全員でない」ということは嘘だ"が導かれる
6. 推論4と事実2から、推論5: "この海難供養碑は分解され難くない"が導かれる
7. 事実7から、推論6: "この海難供養碑が分解され難くないとすればすんごくない"が導かれる
8. 推論5と推論6から、推論7: "この海難供養碑はすんごいということはない"が導かれる
9. 推論7と事実15から、推論8: "あの文字パレットは棒読みだけれど鍋トロでない"が導かれる
10. 推論8から、推論9: "あの文字パレットは鍋トロでない"が導かれる
11. 推論9と事実14から、仮説が導かれる

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