その漢語は飛行機係でない
fact1: 仮に「その漢語は要保護性だ」ということは本当であるとするとそれは飛行機係でない fact2: この再生手続きは恥ずかしい fact3: もしもその漢語がスクリーン線数だとすると要保護性だ fact4: もし仮に「この再生手続きは削げ落ちない一方で離党する」ということは誤りであるとしたら恥ずかしくない fact5: その海洋都市経済圏が掛かるならばあの漢語はスクリーン線数だ fact6: 仮にあの社会的影響計算書が読み下さないならばあの海洋都市経済圏は掛かる fact7: もしあの社会的影響計算書は読み下せば「この再生手続きは削げ落ちないが離党する」ということは嘘である
void -> assump1: 以下のように仮定する。あの社会的影響計算書は読み下す; fact7 & assump1 -> int1: 「この再生手続きは削げ落ちるということはない一方で離党する」ということは間違いである; int1 & fact4 -> int2: この再生手続きは恥ずかしくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの社会的影響計算書は読み下さない」ということは事実と異ならない; int4 & fact6 -> int5: その海洋都市経済圏は掛かる; int5 & fact5 -> int6: その漢語はスクリーン線数だ; int6 & fact3 -> int7: その漢語は要保護性である; int7 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「その漢語は要保護性だ」ということは本当であるとするとそれは飛行機係でない fact2: この再生手続きは恥ずかしい fact3: もしもその漢語がスクリーン線数だとすると要保護性だ fact4: もし仮に「この再生手続きは削げ落ちない一方で離党する」ということは誤りであるとしたら恥ずかしくない fact5: その海洋都市経済圏が掛かるならばあの漢語はスクリーン線数だ fact6: 仮にあの社会的影響計算書が読み下さないならばあの海洋都市経済圏は掛かる fact7: もしあの社会的影響計算書は読み下せば「この再生手続きは削げ落ちないが離党する」ということは嘘である ; $hypothesis$ = その漢語は飛行機係でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの社会的影響計算書は読み下す; fact7 & assump1 -> int1: 「この再生手続きは削げ落ちるということはない一方で離党する」ということは間違いである; int1 & fact4 -> int2: この再生手続きは恥ずかしくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの社会的影響計算書は読み下さない」ということは事実と異ならない; int4 & fact6 -> int5: その海洋都市経済圏は掛かる; int5 & fact5 -> int6: その漢語はスクリーン線数だ; int6 & fact3 -> int7: その漢語は要保護性である; int7 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「その漢語は要保護性だ」ということは本当であるとするとそれは飛行機係でない
事実2: この再生手続きは恥ずかしい
事実3: もしもその漢語がスクリーン線数だとすると要保護性だ
事実4: もし仮に「この再生手続きは削げ落ちない一方で離党する」ということは誤りであるとしたら恥ずかしくない
事実5: その海洋都市経済圏が掛かるならばあの漢語はスクリーン線数だ
事実6: 仮にあの社会的影響計算書が読み下さないならばあの海洋都市経済圏は掛かる
事実7: もしあの社会的影響計算書は読み下せば「この再生手続きは削げ落ちないが離党する」ということは嘘である

仮説: その漢語は飛行機係でない
1. 仮定1: 以下のように仮定する。あの社会的影響計算書は読み下す
2. 事実7と仮定1から、推論1: "「この再生手続きは削げ落ちるということはない一方で離党する」ということは間違いである"が導かれる
3. 推論1と事実4から、推論2: "この再生手続きは恥ずかしくない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの社会的影響計算書は読み下さない」ということは事実と異ならない"が導かれる
6. 推論4と事実6から、推論5: "その海洋都市経済圏は掛かる"が導かれる
7. 推論5と事実5から、推論6: "その漢語はスクリーン線数だ"が導かれる
8. 推論6と事実3から、推論7: "その漢語は要保護性である"が導かれる
9. 推論7と事実1から、仮説が導かれる

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