「ポスト・モダニズムでないし恥ずかしくない」物はある
fact1: もしもそのせっせっせが付言しないとすればそれはポスト・モダニズムでないしさらに恥ずかしくない fact2: 恥ずかしくないポスト・モダニズムはある fact3: もし「そのせっせっせは結び付き易いということはない」ということは正しいとしたらエネルギー物質である fact4: なんらかの物は解析モデルであるということはないとすれば付言しないしまた愛しない fact5: もし仮に何らかの物は天文学論考でないならばエネルギー物質だ fact6: 「そのせっせっせがエネルギー物質だし歌える」ということは正しいならばこのノートチェックは解析モデルでない fact7: そのせっせっせは付言しない fact8: 「もしもそのせっせっせが付言しないとしたらそのせっせっせは恥ずかしいということはない」ということは成り立つ fact9: 「ポスト・モダニズムであるということはない」物はある fact10: 「天文学論考でない」物はある fact11: もし仮にそのせっせっせが駆け抜けないならそれは恥ずかしくないしまた向かわすということはない fact12: あのバンドパス・フィルタは付言しない fact13: もし「天文学論考でない」物があるとすればそのせっせっせは結び付き易くないかまたは天文学論考でないかあるいはどちらもである fact14: なんらかの物は付言しない
fact1 & fact7 -> int1: そのせっせっせはポスト・モダニズムでなくてそれは恥ずかしくない; int1 -> hypothesis;
このノートチェックが付言しないしさらに愛しということはない
fact15 -> int2: もしもこのノートチェックが解析モデルでないとすればそれは付言しなくてそれは愛しない; fact18 & fact20 -> int3: そのせっせっせは結び付き易いということはないかもしくは天文学論考でないか両方ともだ; fact16 -> int4: 仮にそのせっせっせが天文学論考でないとすればそれはエネルギー物質である; int3 & fact17 & int4 -> int5: そのせっせっせはエネルギー物質である;
$facts$ = fact1: もしもそのせっせっせが付言しないとすればそれはポスト・モダニズムでないしさらに恥ずかしくない fact2: 恥ずかしくないポスト・モダニズムはある fact3: もし「そのせっせっせは結び付き易いということはない」ということは正しいとしたらエネルギー物質である fact4: なんらかの物は解析モデルであるということはないとすれば付言しないしまた愛しない fact5: もし仮に何らかの物は天文学論考でないならばエネルギー物質だ fact6: 「そのせっせっせがエネルギー物質だし歌える」ということは正しいならばこのノートチェックは解析モデルでない fact7: そのせっせっせは付言しない fact8: 「もしもそのせっせっせが付言しないとしたらそのせっせっせは恥ずかしいということはない」ということは成り立つ fact9: 「ポスト・モダニズムであるということはない」物はある fact10: 「天文学論考でない」物はある fact11: もし仮にそのせっせっせが駆け抜けないならそれは恥ずかしくないしまた向かわすということはない fact12: あのバンドパス・フィルタは付言しない fact13: もし「天文学論考でない」物があるとすればそのせっせっせは結び付き易くないかまたは天文学論考でないかあるいはどちらもである fact14: なんらかの物は付言しない ; $hypothesis$ = 「ポスト・モダニズムでないし恥ずかしくない」物はある ; $proof$ = 
fact1 & fact7 -> int1: そのせっせっせはポスト・モダニズムでなくてそれは恥ずかしくない; int1 -> hypothesis; __PROVED__
事実1: もしもそのせっせっせが付言しないとすればそれはポスト・モダニズムでないしさらに恥ずかしくない
事実2: 恥ずかしくないポスト・モダニズムはある
事実3: もし「そのせっせっせは結び付き易いということはない」ということは正しいとしたらエネルギー物質である
事実4: なんらかの物は解析モデルであるということはないとすれば付言しないしまた愛しない
事実5: もし仮に何らかの物は天文学論考でないならばエネルギー物質だ
事実6: 「そのせっせっせがエネルギー物質だし歌える」ということは正しいならばこのノートチェックは解析モデルでない
事実7: そのせっせっせは付言しない
事実8: 「もしもそのせっせっせが付言しないとしたらそのせっせっせは恥ずかしいということはない」ということは成り立つ
事実9: 「ポスト・モダニズムであるということはない」物はある
事実10: 「天文学論考でない」物はある
事実11: もし仮にそのせっせっせが駆け抜けないならそれは恥ずかしくないしまた向かわすということはない
事実12: あのバンドパス・フィルタは付言しない
事実13: もし「天文学論考でない」物があるとすればそのせっせっせは結び付き易くないかまたは天文学論考でないかあるいはどちらもである
事実14: なんらかの物は付言しない

仮説: 「ポスト・モダニズムでないし恥ずかしくない」物はある
1. 事実1と事実7から、推論1: "そのせっせっせはポスト・モダニズムでなくてそれは恥ずかしくない"が導かれる
2. 推論1から、仮説が導かれる

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