そのバイパス手術は容易いしかつ気怠い
fact1: この三二飛成は初登場でその上内部化する fact2: もしも「この配管工事は軽くないし更に容易くない」ということは誤っているならあの淫虐は軽いということはない fact3: もし仮に「この配管工事は気怠くらないしまた軽くない」ということは本当でないならば風景画でない fact4: もしこの配管工事は容易いということはないとすると「そのバイパス手術は容易いしかつ気怠い」ということは真実である fact5: もし仮に「なんらかのものは決戦場でなくて死刑判決でない」ということは間違っていれば軽くない fact6: もしあの淫虐は決戦場であるとしたらそれは内部化しない fact7: あの土星型原子模型は容易くない fact8: 仮にこの配管工事が軽いとしたらそれは容易くない fact9: 仮にあの淫虐が内部化するとしたらこの開運アクションは内部化する fact10: 「あの淫虐は死刑判決であるということはない」ということは確かだ fact11: もしあの淫虐は死刑判決であるということはないなら「そのバイパス手術は決戦場でなくてそれに容易くない」ということは成り立たない fact12: もしある物は決戦場でないとすれば「容易いしそれに気怠い」ということは嘘である fact13: もし「何かは軽くないしかつ風景画でない」ということは成り立たないとすれば容易くない fact14: 「あの転移は小劇場だしサザンである」ということは成り立つ fact15: そのバイパス手術は気怠い fact16: 「あの淫虐は内部化するかまたはそれは容易くない」ということは偽だ fact17: もしもあの淫虐は決戦場でないとすると「そのバイパス手術は風景画でないしその上容易いない」ということは偽である fact18: もしもあの淫虐は決戦場でないとしたら「「この配管工事は軽くないしそれは風景画でない」ということは成り立つ」ということは間違っている fact19: 「もしあの淫虐は決戦場であるならば「あの淫虐は内部化するか死刑判決でない」ということは誤りだ」ということは本当だ
void -> assump1: 以下のように仮定する。あの淫虐は決戦場である; fact19 & assump1 -> int1: 「「あの淫虐は内部化するかまたは死刑判決だということはない」ということは真実だ」ということは間違っている; fact10 -> int2: あの淫虐は内部化するかもしくは死刑判決でないかまたは両方だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの淫虐は決戦場であるということはない; int4 & fact18 -> int5: 「「この配管工事は軽くないしその上風景画でない」ということは確かである」ということは成り立つということはない; fact13 -> int6: 「この配管工事は軽くないしそれは風景画でない」ということは成り立たないとすればそれは容易くない; int5 & int6 -> int7: この配管工事は容易くない; int7 & fact4 -> hypothesis;
「「そのバイパス手術は容易くてさらに気怠い」ということは成り立たない」ということは成り立つ
fact20 -> int8: 仮にそのバイパス手術は決戦場でないなら「容易くて更に気怠い」ということは誤っている;
$facts$ = fact1: この三二飛成は初登場でその上内部化する fact2: もしも「この配管工事は軽くないし更に容易くない」ということは誤っているならあの淫虐は軽いということはない fact3: もし仮に「この配管工事は気怠くらないしまた軽くない」ということは本当でないならば風景画でない fact4: もしこの配管工事は容易いということはないとすると「そのバイパス手術は容易いしかつ気怠い」ということは真実である fact5: もし仮に「なんらかのものは決戦場でなくて死刑判決でない」ということは間違っていれば軽くない fact6: もしあの淫虐は決戦場であるとしたらそれは内部化しない fact7: あの土星型原子模型は容易くない fact8: 仮にこの配管工事が軽いとしたらそれは容易くない fact9: 仮にあの淫虐が内部化するとしたらこの開運アクションは内部化する fact10: 「あの淫虐は死刑判決であるということはない」ということは確かだ fact11: もしあの淫虐は死刑判決であるということはないなら「そのバイパス手術は決戦場でなくてそれに容易くない」ということは成り立たない fact12: もしある物は決戦場でないとすれば「容易いしそれに気怠い」ということは嘘である fact13: もし「何かは軽くないしかつ風景画でない」ということは成り立たないとすれば容易くない fact14: 「あの転移は小劇場だしサザンである」ということは成り立つ fact15: そのバイパス手術は気怠い fact16: 「あの淫虐は内部化するかまたはそれは容易くない」ということは偽だ fact17: もしもあの淫虐は決戦場でないとすると「そのバイパス手術は風景画でないしその上容易いない」ということは偽である fact18: もしもあの淫虐は決戦場でないとしたら「「この配管工事は軽くないしそれは風景画でない」ということは成り立つ」ということは間違っている fact19: 「もしあの淫虐は決戦場であるならば「あの淫虐は内部化するか死刑判決でない」ということは誤りだ」ということは本当だ ; $hypothesis$ = そのバイパス手術は容易いしかつ気怠い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの淫虐は決戦場である; fact19 & assump1 -> int1: 「「あの淫虐は内部化するかまたは死刑判決だということはない」ということは真実だ」ということは間違っている; fact10 -> int2: あの淫虐は内部化するかもしくは死刑判決でないかまたは両方だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの淫虐は決戦場であるということはない; int4 & fact18 -> int5: 「「この配管工事は軽くないしその上風景画でない」ということは確かである」ということは成り立つということはない; fact13 -> int6: 「この配管工事は軽くないしそれは風景画でない」ということは成り立たないとすればそれは容易くない; int5 & int6 -> int7: この配管工事は容易くない; int7 & fact4 -> hypothesis; __PROVED__
事実1: この三二飛成は初登場でその上内部化する
事実2: もしも「この配管工事は軽くないし更に容易くない」ということは誤っているならあの淫虐は軽いということはない
事実3: もし仮に「この配管工事は気怠くらないしまた軽くない」ということは本当でないならば風景画でない
事実4: もしこの配管工事は容易いということはないとすると「そのバイパス手術は容易いしかつ気怠い」ということは真実である
事実5: もし仮に「なんらかのものは決戦場でなくて死刑判決でない」ということは間違っていれば軽くない
事実6: もしあの淫虐は決戦場であるとしたらそれは内部化しない
事実7: あの土星型原子模型は容易くない
事実8: 仮にこの配管工事が軽いとしたらそれは容易くない
事実9: 仮にあの淫虐が内部化するとしたらこの開運アクションは内部化する
事実10: 「あの淫虐は死刑判決であるということはない」ということは確かだ
事実11: もしあの淫虐は死刑判決であるということはないなら「そのバイパス手術は決戦場でなくてそれに容易くない」ということは成り立たない
事実12: もしある物は決戦場でないとすれば「容易いしそれに気怠い」ということは嘘である
事実13: もし「何かは軽くないしかつ風景画でない」ということは成り立たないとすれば容易くない
事実14: 「あの転移は小劇場だしサザンである」ということは成り立つ
事実15: そのバイパス手術は気怠い
事実16: 「あの淫虐は内部化するかまたはそれは容易くない」ということは偽だ
事実17: もしもあの淫虐は決戦場でないとすると「そのバイパス手術は風景画でないしその上容易いない」ということは偽である
事実18: もしもあの淫虐は決戦場でないとしたら「「この配管工事は軽くないしそれは風景画でない」ということは成り立つ」ということは間違っている
事実19: 「もしあの淫虐は決戦場であるならば「あの淫虐は内部化するか死刑判決でない」ということは誤りだ」ということは本当だ

仮説: そのバイパス手術は容易いしかつ気怠い
1. 仮定1: 以下のように仮定する。あの淫虐は決戦場である
2. 事実19と仮定1から、推論1: "「「あの淫虐は内部化するかまたは死刑判決だということはない」ということは真実だ」ということは間違っている"が導かれる
3. 事実10から、推論2: "あの淫虐は内部化するかもしくは死刑判決でないかまたは両方だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの淫虐は決戦場であるということはない"が導かれる
6. 推論4と事実18から、推論5: "「「この配管工事は軽くないしその上風景画でない」ということは確かである」ということは成り立つということはない"が導かれる
7. 事実13から、推論6: "「この配管工事は軽くないしそれは風景画でない」ということは成り立たないとすればそれは容易くない"が導かれる
8. 推論5と推論6から、推論7: "この配管工事は容易くない"が導かれる
9. 推論7と事実4から、仮説が導かれる

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