あの練習フォームは生活援助中心型であるということはない
fact1: その常圧蒸留は竣功しないかもしくは機密情報でないか両方ともである fact2: 「あの練習フォームは頼もしいがしかし生活援助中心型であるということはない」ということは成り立たない fact3: その常圧蒸留は癒し難くない fact4: もしその常圧蒸留は竣功しないかあるいは機密情報でないかどちらもであるなら難し過ぎる fact5: この愛国炭鉱は通り難いとすると「あの練習フォームは低いが通り難いということはない」ということは間違いである fact6: その常圧蒸留は通り難い fact7: もし「何らかの物は低いがしかし通り難くない」ということは成り立つということはないならそれは生活援助中心型でない fact8: 仮にあの共産党軍は頼もしいならば「その常圧蒸留は頼もしい」ということは事実だ fact9: 低くない物は生活援助中心型だということはない fact10: 仮にその常圧蒸留が裂けるしそれが癒し難いならそれは頼もしくない fact11: 「もし仮に「その常圧蒸留は裂けるが癒し難くない」ということは成り立たないとするとこの愛国炭鉱は通り難い」ということは真実である fact12: もしもその常圧蒸留は難し過ぎるし意志であるならそれは低くない fact13: 仮にその常圧蒸留が癒し難いとしたらこの愛国炭鉱は通り難い fact14: 仮にあの共産党軍が意志でないとしたらその常圧蒸留は頼もしい fact15: その常圧蒸留が裂ける一方で癒し難くないなら「頼もしくない」ということは事実である fact16: もしもあの練習フォームが低くないならばそれは生活援助中心型でない fact17: 「その常圧蒸留は裂けるしまた癒し難い」ということは間違いである fact18: あの共産党軍は頼もしいかもしくは意志だということはないかどちらもだ
void -> assump1: 以下のように仮定する。その常圧蒸留は裂けるけどそれは癒し難くない; fact15 & assump1 -> int1: その常圧蒸留は頼もしくない; fact18 & fact8 & fact14 -> int2: その常圧蒸留は頼もしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その常圧蒸留は裂けるが癒し難くない」ということは成り立つということはない; int4 & fact11 -> int5: この愛国炭鉱は通り難い; int5 & fact5 -> int6: 「あの練習フォームは低いが通り難くない」ということは成り立たない; fact7 -> int7: 「もし仮に「あの練習フォームは低いが通り難いということはない」ということは成り立つということはないならば「あの練習フォームは生活援助中心型だということはない」ということは本当である」ということは成り立つ; int6 & int7 -> hypothesis;
あの練習フォームは生活援助中心型だ
fact19 & fact21 -> int8: その常圧蒸留は難し過ぎる;
$facts$ = fact1: その常圧蒸留は竣功しないかもしくは機密情報でないか両方ともである fact2: 「あの練習フォームは頼もしいがしかし生活援助中心型であるということはない」ということは成り立たない fact3: その常圧蒸留は癒し難くない fact4: もしその常圧蒸留は竣功しないかあるいは機密情報でないかどちらもであるなら難し過ぎる fact5: この愛国炭鉱は通り難いとすると「あの練習フォームは低いが通り難いということはない」ということは間違いである fact6: その常圧蒸留は通り難い fact7: もし「何らかの物は低いがしかし通り難くない」ということは成り立つということはないならそれは生活援助中心型でない fact8: 仮にあの共産党軍は頼もしいならば「その常圧蒸留は頼もしい」ということは事実だ fact9: 低くない物は生活援助中心型だということはない fact10: 仮にその常圧蒸留が裂けるしそれが癒し難いならそれは頼もしくない fact11: 「もし仮に「その常圧蒸留は裂けるが癒し難くない」ということは成り立たないとするとこの愛国炭鉱は通り難い」ということは真実である fact12: もしもその常圧蒸留は難し過ぎるし意志であるならそれは低くない fact13: 仮にその常圧蒸留が癒し難いとしたらこの愛国炭鉱は通り難い fact14: 仮にあの共産党軍が意志でないとしたらその常圧蒸留は頼もしい fact15: その常圧蒸留が裂ける一方で癒し難くないなら「頼もしくない」ということは事実である fact16: もしもあの練習フォームが低くないならばそれは生活援助中心型でない fact17: 「その常圧蒸留は裂けるしまた癒し難い」ということは間違いである fact18: あの共産党軍は頼もしいかもしくは意志だということはないかどちらもだ ; $hypothesis$ = あの練習フォームは生活援助中心型であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その常圧蒸留は裂けるけどそれは癒し難くない; fact15 & assump1 -> int1: その常圧蒸留は頼もしくない; fact18 & fact8 & fact14 -> int2: その常圧蒸留は頼もしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その常圧蒸留は裂けるが癒し難くない」ということは成り立つということはない; int4 & fact11 -> int5: この愛国炭鉱は通り難い; int5 & fact5 -> int6: 「あの練習フォームは低いが通り難くない」ということは成り立たない; fact7 -> int7: 「もし仮に「あの練習フォームは低いが通り難いということはない」ということは成り立つということはないならば「あの練習フォームは生活援助中心型だということはない」ということは本当である」ということは成り立つ; int6 & int7 -> hypothesis; __PROVED__
事実1: その常圧蒸留は竣功しないかもしくは機密情報でないか両方ともである
事実2: 「あの練習フォームは頼もしいがしかし生活援助中心型であるということはない」ということは成り立たない
事実3: その常圧蒸留は癒し難くない
事実4: もしその常圧蒸留は竣功しないかあるいは機密情報でないかどちらもであるなら難し過ぎる
事実5: この愛国炭鉱は通り難いとすると「あの練習フォームは低いが通り難いということはない」ということは間違いである
事実6: その常圧蒸留は通り難い
事実7: もし「何らかの物は低いがしかし通り難くない」ということは成り立つということはないならそれは生活援助中心型でない
事実8: 仮にあの共産党軍は頼もしいならば「その常圧蒸留は頼もしい」ということは事実だ
事実9: 低くない物は生活援助中心型だということはない
事実10: 仮にその常圧蒸留が裂けるしそれが癒し難いならそれは頼もしくない
事実11: 「もし仮に「その常圧蒸留は裂けるが癒し難くない」ということは成り立たないとするとこの愛国炭鉱は通り難い」ということは真実である
事実12: もしもその常圧蒸留は難し過ぎるし意志であるならそれは低くない
事実13: 仮にその常圧蒸留が癒し難いとしたらこの愛国炭鉱は通り難い
事実14: 仮にあの共産党軍が意志でないとしたらその常圧蒸留は頼もしい
事実15: その常圧蒸留が裂ける一方で癒し難くないなら「頼もしくない」ということは事実である
事実16: もしもあの練習フォームが低くないならばそれは生活援助中心型でない
事実17: 「その常圧蒸留は裂けるしまた癒し難い」ということは間違いである
事実18: あの共産党軍は頼もしいかもしくは意志だということはないかどちらもだ

仮説: あの練習フォームは生活援助中心型であるということはない
1. 仮定1: 以下のように仮定する。その常圧蒸留は裂けるけどそれは癒し難くない
2. 事実15と仮定1から、推論1: "その常圧蒸留は頼もしくない"が導かれる
3. 事実18と事実8と事実14から、推論2: "その常圧蒸留は頼もしい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その常圧蒸留は裂けるが癒し難くない」ということは成り立つということはない"が導かれる
6. 推論4と事実11から、推論5: "この愛国炭鉱は通り難い"が導かれる
7. 推論5と事実5から、推論6: "「あの練習フォームは低いが通り難くない」ということは成り立たない"が導かれる
8. 事実7から、推論7: "「もし仮に「あの練習フォームは低いが通り難いということはない」ということは成り立つということはないならば「あの練習フォームは生活援助中心型だということはない」ということは本当である」ということは成り立つ"が導かれる
9. 推論6と推論7から、仮説が導かれる

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