「免れ難いしその上再発し易い」ものはある
fact1: この半分は歩かす fact2: もし「何かは運用成果でない一方で俗っぽい」ということは成り立たないとすれば免れ難い fact3: 「「罪科であるし更にビブラートするということはない」ということは成り立つということはない」ものはある fact4: もし仮にこの半分が遣り掛けるとしたらこの羽太は遣り掛ける fact5: もし仮に「この税額控除限度額は歩かすけど遣り掛けない」ということは成り立たないとすると「この半分は遣り掛ける」ということは成り立つ fact6: 「歩かす」物はある fact7: 仮に「「罪科だけれどビブラートしない」ということは成り立たない」物があるならこの羽太は頷けない fact8: この半分は再発し易くてそれにそれは俗っぽい fact9: もし仮に「あるものは免れ難い」ということは真実だとしたらそれは感作する fact10: この半分は免れ難くてそれに歩かす fact11: あるものは頷けないならば「それは運用成果でないしかつ俗っぽい」ということは成り立つということはない
fact10 -> int1: この半分は免れ難い; fact8 -> int2: この半分は再発し易い; int1 & int2 -> int3: この半分は免れ難いしまた再発し易い; int3 -> hypothesis;
この羽太は感作するしかつ遣り掛ける
fact15 -> int4: この羽太が免れ難いならば感作する; fact18 -> int5: 「もしも「この羽太は運用成果でないが俗っぽい」ということは嘘であるとすればこの羽太は免れ難い」ということは事実である; fact17 -> int6: もしこの羽太は頷けないとしたら「それは運用成果でないが俗っぽい」ということは嘘だ; fact14 & fact12 -> int7: この羽太は頷けない; int6 & int7 -> int8: 「この羽太は運用成果でないけど俗っぽい」ということは間違っている; int5 & int8 -> int9: この羽太は免れ難い; int4 & int9 -> int10: この羽太は感作する;
$facts$ = fact1: この半分は歩かす fact2: もし「何かは運用成果でない一方で俗っぽい」ということは成り立たないとすれば免れ難い fact3: 「「罪科であるし更にビブラートするということはない」ということは成り立つということはない」ものはある fact4: もし仮にこの半分が遣り掛けるとしたらこの羽太は遣り掛ける fact5: もし仮に「この税額控除限度額は歩かすけど遣り掛けない」ということは成り立たないとすると「この半分は遣り掛ける」ということは成り立つ fact6: 「歩かす」物はある fact7: 仮に「「罪科だけれどビブラートしない」ということは成り立たない」物があるならこの羽太は頷けない fact8: この半分は再発し易くてそれにそれは俗っぽい fact9: もし仮に「あるものは免れ難い」ということは真実だとしたらそれは感作する fact10: この半分は免れ難くてそれに歩かす fact11: あるものは頷けないならば「それは運用成果でないしかつ俗っぽい」ということは成り立つということはない ; $hypothesis$ = 「免れ難いしその上再発し易い」ものはある ; $proof$ = 
fact10 -> int1: この半分は免れ難い; fact8 -> int2: この半分は再発し易い; int1 & int2 -> int3: この半分は免れ難いしまた再発し易い; int3 -> hypothesis; __PROVED__
事実1: この半分は歩かす
事実2: もし「何かは運用成果でない一方で俗っぽい」ということは成り立たないとすれば免れ難い
事実3: 「「罪科であるし更にビブラートするということはない」ということは成り立つということはない」ものはある
事実4: もし仮にこの半分が遣り掛けるとしたらこの羽太は遣り掛ける
事実5: もし仮に「この税額控除限度額は歩かすけど遣り掛けない」ということは成り立たないとすると「この半分は遣り掛ける」ということは成り立つ
事実6: 「歩かす」物はある
事実7: 仮に「「罪科だけれどビブラートしない」ということは成り立たない」物があるならこの羽太は頷けない
事実8: この半分は再発し易くてそれにそれは俗っぽい
事実9: もし仮に「あるものは免れ難い」ということは真実だとしたらそれは感作する
事実10: この半分は免れ難くてそれに歩かす
事実11: あるものは頷けないならば「それは運用成果でないしかつ俗っぽい」ということは成り立つということはない

仮説: 「免れ難いしその上再発し易い」ものはある
1. 事実10から、推論1: "この半分は免れ難い"が導かれる
2. 事実8から、推論2: "この半分は再発し易い"が導かれる
3. 推論1と推論2から、推論3: "この半分は免れ難いしまた再発し易い"が導かれる
4. 推論3から、仮説が導かれる

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