もしもその映画ファンは貢ぐとしたら「その肺機能検査は気付き易くない」ということは成り立つ
fact1: もし仮にとある物は強うなら「それは気付き易い」ということは本当だ fact2: その一項甲類は強う fact3: その粉塵は貢がない fact4: 仮に「その肺機能検査は貢ぐ」ということは本当であるならばあの映画ファンは気付き易い fact5: もし「その肺機能検査は崩れ掛ける」ということは確かだとすると「その映画ファンは輝かしということはないけれど貢ぐ」ということは成り立たない fact6: 残り易くないものは崩れ掛ける一方で反映しない fact7: 仮にその肺機能検査が強うしおまけに気付き易いとすればあの映画ファンは貢がない fact8: その映画ファンは気付き易くない fact9: その肺機能検査は強う fact10: その肺機能検査は貢がない fact11: もしもその映画ファンが貢ぐとしたらその肺機能検査は気付き易い fact12: あの予防的・開発的カウンセリングが崩れ掛けるけれど反映しないならばその肺機能検査は崩れ掛ける
void -> assump2: 以下のように仮定する。その肺機能検査は気付き易い; fact9 & assump2 -> int1: その肺機能検査は強うし気付き易い; int1 & fact7 -> int2: その映画ファンは貢ぐということはない; void -> assump1: 以下のように仮定する。その映画ファンは貢ぐ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その肺機能検査は気付き易くない; [assump1] & int4 -> hypothesis;
その映画ファンは気付き易い
fact15 -> int5: もしもその映画ファンは強うとすれば「気付き易い」ということは成り立つ; fact13 -> int6: もし「あの予防的・開発的カウンセリングは残り易くない」ということは嘘だということはないとするとそれは崩れ掛ける一方で反映しない;
$facts$ = fact1: もし仮にとある物は強うなら「それは気付き易い」ということは本当だ fact2: その一項甲類は強う fact3: その粉塵は貢がない fact4: 仮に「その肺機能検査は貢ぐ」ということは本当であるならばあの映画ファンは気付き易い fact5: もし「その肺機能検査は崩れ掛ける」ということは確かだとすると「その映画ファンは輝かしということはないけれど貢ぐ」ということは成り立たない fact6: 残り易くないものは崩れ掛ける一方で反映しない fact7: 仮にその肺機能検査が強うしおまけに気付き易いとすればあの映画ファンは貢がない fact8: その映画ファンは気付き易くない fact9: その肺機能検査は強う fact10: その肺機能検査は貢がない fact11: もしもその映画ファンが貢ぐとしたらその肺機能検査は気付き易い fact12: あの予防的・開発的カウンセリングが崩れ掛けるけれど反映しないならばその肺機能検査は崩れ掛ける ; $hypothesis$ = もしもその映画ファンは貢ぐとしたら「その肺機能検査は気付き易くない」ということは成り立つ ; $proof$ = 
void -> assump2: 以下のように仮定する。その肺機能検査は気付き易い; fact9 & assump2 -> int1: その肺機能検査は強うし気付き易い; int1 & fact7 -> int2: その映画ファンは貢ぐということはない; void -> assump1: 以下のように仮定する。その映画ファンは貢ぐ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その肺機能検査は気付き易くない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にとある物は強うなら「それは気付き易い」ということは本当だ
事実2: その一項甲類は強う
事実3: その粉塵は貢がない
事実4: 仮に「その肺機能検査は貢ぐ」ということは本当であるならばあの映画ファンは気付き易い
事実5: もし「その肺機能検査は崩れ掛ける」ということは確かだとすると「その映画ファンは輝かしということはないけれど貢ぐ」ということは成り立たない
事実6: 残り易くないものは崩れ掛ける一方で反映しない
事実7: 仮にその肺機能検査が強うしおまけに気付き易いとすればあの映画ファンは貢がない
事実8: その映画ファンは気付き易くない
事実9: その肺機能検査は強う
事実10: その肺機能検査は貢がない
事実11: もしもその映画ファンが貢ぐとしたらその肺機能検査は気付き易い
事実12: あの予防的・開発的カウンセリングが崩れ掛けるけれど反映しないならばその肺機能検査は崩れ掛ける

仮説: もしもその映画ファンは貢ぐとしたら「その肺機能検査は気付き易くない」ということは成り立つ
1. 仮定2: 以下のように仮定する。その肺機能検査は気付き易い
2. 事実9と仮定2から、推論1: "その肺機能検査は強うし気付き易い"が導かれる
3. 推論1と事実7から、推論2: "その映画ファンは貢ぐということはない"が導かれる
4. 仮定1: 以下のように仮定する。その映画ファンは貢ぐ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その肺機能検査は気付き易くない"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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