もしも「あの本社人事部門は一身上であるということはない」ということは偽であるということはないならばあの腹巻きは戻し入れない
fact1: その腹巻きは一身上であるし加えて登山家らしい fact2: もしもあの本社人事部門が一身上ならその腹巻きは戻し入れない fact3: 仮になにがしかの物が戻し入れるしそれが烏滸がましいとしたらあの本社人事部門は一身上だ fact4: その腹巻きは烏滸がましい fact5: その腹巻きは一身上だ fact6: なにがしかのものが烏滸がましいし加えてそれが戻し入れるとすればあの腹巻きは一身上だ fact7: もし仮に戻し易い物が戻し入れるならあの本社人事部門は照れ臭い fact8: もしもあの本社人事部門が一身上でないとしたらその腹巻きは戻し入れる fact9: 仮に「戻し入れるし烏滸がましい」ものがあるとするとその腹巻きは一身上だ fact10: 「戻し入れる」物はある fact11: その床束は烏滸がましい fact12: あの一卵性双生児は戻し入れる fact13: あの本社人事部門は平和惚けする fact14: 「烏滸がましい」物はある fact15: 仮に「烏滸がましいし更に一身上である」ものはあるとすると「あの本社人事部門は戻し入れる」ということは正しい fact16: あの本社人事部門は戻し入れる fact17: 「一身上で戻し入れる」ものはある fact18: 「「胡散臭くて押し詰める」物はある」ということは成り立つ fact19: あの本社人事部門は売り掛けでない fact20: もし烏滸がましい一身上があるとすればあの本社人事部門は戻し入れる
void -> assump2: 以下のように仮定する。その腹巻きは戻し入れる; assump2 & fact4 -> int1: その腹巻きは戻し入れるしさらにそれは烏滸がましい; int1 -> int2: なんらかの物は戻し入れるしそれは烏滸がましい; int2 & fact3 -> int3: あの本社人事部門は一身上である; void -> assump1: 以下のように仮定する。あの本社人事部門は一身上でない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その腹巻きは戻し入れない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: その腹巻きは一身上であるし加えて登山家らしい fact2: もしもあの本社人事部門が一身上ならその腹巻きは戻し入れない fact3: 仮になにがしかの物が戻し入れるしそれが烏滸がましいとしたらあの本社人事部門は一身上だ fact4: その腹巻きは烏滸がましい fact5: その腹巻きは一身上だ fact6: なにがしかのものが烏滸がましいし加えてそれが戻し入れるとすればあの腹巻きは一身上だ fact7: もし仮に戻し易い物が戻し入れるならあの本社人事部門は照れ臭い fact8: もしもあの本社人事部門が一身上でないとしたらその腹巻きは戻し入れる fact9: 仮に「戻し入れるし烏滸がましい」ものがあるとするとその腹巻きは一身上だ fact10: 「戻し入れる」物はある fact11: その床束は烏滸がましい fact12: あの一卵性双生児は戻し入れる fact13: あの本社人事部門は平和惚けする fact14: 「烏滸がましい」物はある fact15: 仮に「烏滸がましいし更に一身上である」ものはあるとすると「あの本社人事部門は戻し入れる」ということは正しい fact16: あの本社人事部門は戻し入れる fact17: 「一身上で戻し入れる」ものはある fact18: 「「胡散臭くて押し詰める」物はある」ということは成り立つ fact19: あの本社人事部門は売り掛けでない fact20: もし烏滸がましい一身上があるとすればあの本社人事部門は戻し入れる ; $hypothesis$ = もしも「あの本社人事部門は一身上であるということはない」ということは偽であるということはないならばあの腹巻きは戻し入れない ; $proof$ = 
void -> assump2: 以下のように仮定する。その腹巻きは戻し入れる; assump2 & fact4 -> int1: その腹巻きは戻し入れるしさらにそれは烏滸がましい; int1 -> int2: なんらかの物は戻し入れるしそれは烏滸がましい; int2 & fact3 -> int3: あの本社人事部門は一身上である; void -> assump1: 以下のように仮定する。あの本社人事部門は一身上でない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その腹巻きは戻し入れない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その腹巻きは一身上であるし加えて登山家らしい
事実2: もしもあの本社人事部門が一身上ならその腹巻きは戻し入れない
事実3: 仮になにがしかの物が戻し入れるしそれが烏滸がましいとしたらあの本社人事部門は一身上だ
事実4: その腹巻きは烏滸がましい
事実5: その腹巻きは一身上だ
事実6: なにがしかのものが烏滸がましいし加えてそれが戻し入れるとすればあの腹巻きは一身上だ
事実7: もし仮に戻し易い物が戻し入れるならあの本社人事部門は照れ臭い
事実8: もしもあの本社人事部門が一身上でないとしたらその腹巻きは戻し入れる
事実9: 仮に「戻し入れるし烏滸がましい」ものがあるとするとその腹巻きは一身上だ
事実10: 「戻し入れる」物はある
事実11: その床束は烏滸がましい
事実12: あの一卵性双生児は戻し入れる
事実13: あの本社人事部門は平和惚けする
事実14: 「烏滸がましい」物はある
事実15: 仮に「烏滸がましいし更に一身上である」ものはあるとすると「あの本社人事部門は戻し入れる」ということは正しい
事実16: あの本社人事部門は戻し入れる
事実17: 「一身上で戻し入れる」ものはある
事実18: 「「胡散臭くて押し詰める」物はある」ということは成り立つ
事実19: あの本社人事部門は売り掛けでない
事実20: もし烏滸がましい一身上があるとすればあの本社人事部門は戻し入れる

仮説: もしも「あの本社人事部門は一身上であるということはない」ということは偽であるということはないならばあの腹巻きは戻し入れない
1. 仮定2: 以下のように仮定する。その腹巻きは戻し入れる
2. 仮定2と事実4から、推論1: "その腹巻きは戻し入れるしさらにそれは烏滸がましい"が導かれる
3. 推論1から、推論2: "なんらかの物は戻し入れるしそれは烏滸がましい"が導かれる
4. 推論2と事実3から、推論3: "あの本社人事部門は一身上である"が導かれる
5. 仮定1: 以下のように仮定する。あの本社人事部門は一身上でない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "その腹巻きは戻し入れない"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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