この堕胎・間引きは遍在する
fact1: 「その被曝者は吐き捨てるけれど長袖シャツだということはない」ということは嘘である fact2: そのレイヤーセットは薄青い fact3: もし「その被曝者は転倒であるか爆雷でないか両方ともだ」ということは成り立たないとしたらこの堕胎・間引きは反射しない fact4: もしもその被曝者が第一弾であるが薄青くないならこの堕胎・間引きは遍在する fact5: 仮にこの堕胎・間引きが長袖シャツであるが反射しないならばその被曝者は遍在する fact6: 「その被曝者は女性看護師でないがしかし反射する」ということは成り立たない fact7: 「その被曝者は反射しない」ということは真実ならそれは爆雷であるかあるいは転倒であるかあるいはどちらもだ fact8: もしその被曝者が転倒であるとするとそのレイヤーセットは巣オンである fact9: もしその被曝者は転倒であるなら「爆雷だということはないし反射する」ということは嘘だ fact10: もしもなんらかの物は慢心するとしたら「吐き捨てるしそれは長袖シャツでない」ということは間違っている fact11: もしもその被曝者が爆雷であるならそのレイヤーセットは巣オンである fact12: もしも「「その被曝者は吐き捨てなくてしかも長袖シャツでない」ということは偽だ」ということは成り立てばそれは第一弾である fact13: 仮にその被曝者は慢心するとすると「吐き捨てないがしかし長袖シャツだ」ということは誤っている fact14: 「その被曝者は吐き捨てないけどそれは長袖シャツである」ということは間違いだ fact15: 「その被曝者は慢心する」ということは真実だ fact16: とあるものは慢心するなら「それは吐き捨てなくてそれは長袖シャツでない」ということは成り立つということはない fact17: もし仮になんらかのものは反射しないししかも女性看護師でないとしたらそれは遍在しない fact18: もしもとある物は慢心するとしたら「それは吐き捨てないけど長袖シャツである」ということは成り立たない fact19: もし「その被曝者は女性看護師でなくて反射しない」ということは事実と異なればそれは薄青いということはない fact20: もしもその被曝者は慢心するとすると「それは吐き捨てるが長袖シャツでない」ということは偽だ fact21: そのレイヤーセットは巣オンでない fact22: 「その被曝者は女性看護師であるがしかし反射しない」ということは間違いである
void -> assump1: 以下のように仮定する。その被曝者は女性看護師でないししかも反射しない; assump1 -> int1: その被曝者は反射しない; int1 & fact7 -> int2: その被曝者は爆雷であるかまたは転倒であるかまたは両方だ; int2 & fact11 & fact8 -> int3: そのレイヤーセットは巣オンだ; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その被曝者は女性看護師でないしその上反射しない」ということは嘘だ; int5 & fact19 -> int6: その被曝者は薄青いということはない; fact16 -> int7: その被曝者は慢心すれば「それは吐き捨てなくてそれは長袖シャツでない」ということは誤っている; fact15 & int7 -> int8: 「その被曝者は吐き捨てないし長袖シャツでない」ということは嘘である; int8 & fact12 -> int9: その被曝者は第一弾である; int6 & int9 -> int10: その被曝者は第一弾だけど薄青くない; int10 & fact4 -> hypothesis;
この堕胎・間引きは遍在するということはない
fact24 -> int11: もしもこの堕胎・間引きは反射しなくて女性看護師であるということはないなら遍在しない;
$facts$ = fact1: 「その被曝者は吐き捨てるけれど長袖シャツだということはない」ということは嘘である fact2: そのレイヤーセットは薄青い fact3: もし「その被曝者は転倒であるか爆雷でないか両方ともだ」ということは成り立たないとしたらこの堕胎・間引きは反射しない fact4: もしもその被曝者が第一弾であるが薄青くないならこの堕胎・間引きは遍在する fact5: 仮にこの堕胎・間引きが長袖シャツであるが反射しないならばその被曝者は遍在する fact6: 「その被曝者は女性看護師でないがしかし反射する」ということは成り立たない fact7: 「その被曝者は反射しない」ということは真実ならそれは爆雷であるかあるいは転倒であるかあるいはどちらもだ fact8: もしその被曝者が転倒であるとするとそのレイヤーセットは巣オンである fact9: もしその被曝者は転倒であるなら「爆雷だということはないし反射する」ということは嘘だ fact10: もしもなんらかの物は慢心するとしたら「吐き捨てるしそれは長袖シャツでない」ということは間違っている fact11: もしもその被曝者が爆雷であるならそのレイヤーセットは巣オンである fact12: もしも「「その被曝者は吐き捨てなくてしかも長袖シャツでない」ということは偽だ」ということは成り立てばそれは第一弾である fact13: 仮にその被曝者は慢心するとすると「吐き捨てないがしかし長袖シャツだ」ということは誤っている fact14: 「その被曝者は吐き捨てないけどそれは長袖シャツである」ということは間違いだ fact15: 「その被曝者は慢心する」ということは真実だ fact16: とあるものは慢心するなら「それは吐き捨てなくてそれは長袖シャツでない」ということは成り立つということはない fact17: もし仮になんらかのものは反射しないししかも女性看護師でないとしたらそれは遍在しない fact18: もしもとある物は慢心するとしたら「それは吐き捨てないけど長袖シャツである」ということは成り立たない fact19: もし「その被曝者は女性看護師でなくて反射しない」ということは事実と異なればそれは薄青いということはない fact20: もしもその被曝者は慢心するとすると「それは吐き捨てるが長袖シャツでない」ということは偽だ fact21: そのレイヤーセットは巣オンでない fact22: 「その被曝者は女性看護師であるがしかし反射しない」ということは間違いである ; $hypothesis$ = この堕胎・間引きは遍在する ; $proof$ = 
void -> assump1: 以下のように仮定する。その被曝者は女性看護師でないししかも反射しない; assump1 -> int1: その被曝者は反射しない; int1 & fact7 -> int2: その被曝者は爆雷であるかまたは転倒であるかまたは両方だ; int2 & fact11 & fact8 -> int3: そのレイヤーセットは巣オンだ; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その被曝者は女性看護師でないしその上反射しない」ということは嘘だ; int5 & fact19 -> int6: その被曝者は薄青いということはない; fact16 -> int7: その被曝者は慢心すれば「それは吐き捨てなくてそれは長袖シャツでない」ということは誤っている; fact15 & int7 -> int8: 「その被曝者は吐き捨てないし長袖シャツでない」ということは嘘である; int8 & fact12 -> int9: その被曝者は第一弾である; int6 & int9 -> int10: その被曝者は第一弾だけど薄青くない; int10 & fact4 -> hypothesis; __PROVED__
事実1: 「その被曝者は吐き捨てるけれど長袖シャツだということはない」ということは嘘である
事実2: そのレイヤーセットは薄青い
事実3: もし「その被曝者は転倒であるか爆雷でないか両方ともだ」ということは成り立たないとしたらこの堕胎・間引きは反射しない
事実4: もしもその被曝者が第一弾であるが薄青くないならこの堕胎・間引きは遍在する
事実5: 仮にこの堕胎・間引きが長袖シャツであるが反射しないならばその被曝者は遍在する
事実6: 「その被曝者は女性看護師でないがしかし反射する」ということは成り立たない
事実7: 「その被曝者は反射しない」ということは真実ならそれは爆雷であるかあるいは転倒であるかあるいはどちらもだ
事実8: もしその被曝者が転倒であるとするとそのレイヤーセットは巣オンである
事実9: もしその被曝者は転倒であるなら「爆雷だということはないし反射する」ということは嘘だ
事実10: もしもなんらかの物は慢心するとしたら「吐き捨てるしそれは長袖シャツでない」ということは間違っている
事実11: もしもその被曝者が爆雷であるならそのレイヤーセットは巣オンである
事実12: もしも「「その被曝者は吐き捨てなくてしかも長袖シャツでない」ということは偽だ」ということは成り立てばそれは第一弾である
事実13: 仮にその被曝者は慢心するとすると「吐き捨てないがしかし長袖シャツだ」ということは誤っている
事実14: 「その被曝者は吐き捨てないけどそれは長袖シャツである」ということは間違いだ
事実15: 「その被曝者は慢心する」ということは真実だ
事実16: とあるものは慢心するなら「それは吐き捨てなくてそれは長袖シャツでない」ということは成り立つということはない
事実17: もし仮になんらかのものは反射しないししかも女性看護師でないとしたらそれは遍在しない
事実18: もしもとある物は慢心するとしたら「それは吐き捨てないけど長袖シャツである」ということは成り立たない
事実19: もし「その被曝者は女性看護師でなくて反射しない」ということは事実と異なればそれは薄青いということはない
事実20: もしもその被曝者は慢心するとすると「それは吐き捨てるが長袖シャツでない」ということは偽だ
事実21: そのレイヤーセットは巣オンでない
事実22: 「その被曝者は女性看護師であるがしかし反射しない」ということは間違いである

仮説: この堕胎・間引きは遍在する
1. 仮定1: 以下のように仮定する。その被曝者は女性看護師でないししかも反射しない
2. 仮定1から、推論1: "その被曝者は反射しない"が導かれる
3. 推論1と事実7から、推論2: "その被曝者は爆雷であるかまたは転倒であるかまたは両方だ"が導かれる
4. 推論2と事実11と事実8から、推論3: "そのレイヤーセットは巣オンだ"が導かれる
5. 推論3と事実21から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その被曝者は女性看護師でないしその上反射しない」ということは嘘だ"が導かれる
7. 推論5と事実19から、推論6: "その被曝者は薄青いということはない"が導かれる
8. 事実16から、推論7: "その被曝者は慢心すれば「それは吐き捨てなくてそれは長袖シャツでない」ということは誤っている"が導かれる
9. 事実15と推論7から、推論8: "「その被曝者は吐き捨てないし長袖シャツでない」ということは嘘である"が導かれる
10. 推論8と事実12から、推論9: "その被曝者は第一弾である"が導かれる
11. 推論6と推論9から、推論10: "その被曝者は第一弾だけど薄青くない"が導かれる
12. 推論10と事実4から、仮説が導かれる

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