このパージ指令は上がり難くないけど浅し
fact1: このパージ指令は上がり難くない fact2: 仮に「「このパージ指令は剥けるししかもそれは急行する」ということは事実でない」ということは本当であるならそれは剥けるということはない fact3: 「このパージ指令は剥けるしそれにそれは急行する」ということは嘘である fact4: この大学区はＦＢＩ長官である fact5: もしも力無いものがあればこのパージ指令は上がり難くないが浅し fact6: あの超多項式関数が直上でないとすれば急行するしそれは瑞々しい fact7: この大学区は上がり難くないけれどそれはＦＢＩ長官だ fact8: もし仮に何らかのものが力無いとしたらこのパージ指令は上がり難いということはない fact9: 仮にとある物は力無くないとしたら「ＦＢＩ長官でないしそれにそれは上がり難い」ということは嘘である fact10: この大学区は力無いしＦＢＩ長官だ fact11: もし仮にとあるものはＦＢＩ長官でないとしたらそれは力無くない fact12: 仮にあの超多項式関数が急行するとするとこの大学区は剥けるかそれはＦＢＩ長官でない fact13: もしもあるものは力無くないなら「上がり難くないしさらにそれは浅し」ということは事実と異なる
fact10 -> int1: この大学区は力無い; int1 -> int2: なにかは力無い; int2 & fact5 -> hypothesis;
fact10 -> int1: {A}{a}; int1 -> int2: (Ex): {A}x; int2 & fact5 -> hypothesis;
「このパージ指令は上がり難くないけど浅し」ということは本当でない
fact16 -> int3: 仮にこのパージ指令は力無くないなら「それは上がり難くないけど浅し」ということは間違いだ; fact14 -> int4: もしこのパージ指令はＦＢＩ長官でないとすると「それは力無くない」ということは確かだ;
$facts$ = fact1: このパージ指令は上がり難くない fact2: 仮に「「このパージ指令は剥けるししかもそれは急行する」ということは事実でない」ということは本当であるならそれは剥けるということはない fact3: 「このパージ指令は剥けるしそれにそれは急行する」ということは嘘である fact4: この大学区はＦＢＩ長官である fact5: もしも力無いものがあればこのパージ指令は上がり難くないが浅し fact6: あの超多項式関数が直上でないとすれば急行するしそれは瑞々しい fact7: この大学区は上がり難くないけれどそれはＦＢＩ長官だ fact8: もし仮に何らかのものが力無いとしたらこのパージ指令は上がり難いということはない fact9: 仮にとある物は力無くないとしたら「ＦＢＩ長官でないしそれにそれは上がり難い」ということは嘘である fact10: この大学区は力無いしＦＢＩ長官だ fact11: もし仮にとあるものはＦＢＩ長官でないとしたらそれは力無くない fact12: 仮にあの超多項式関数が急行するとするとこの大学区は剥けるかそれはＦＢＩ長官でない fact13: もしもあるものは力無くないなら「上がり難くないしさらにそれは浅し」ということは事実と異なる ; $hypothesis$ = このパージ指令は上がり難くないけど浅し ; $proof$ = 
fact10 -> int1: この大学区は力無い; int1 -> int2: なにかは力無い; int2 & fact5 -> hypothesis; __PROVED__
事実1: このパージ指令は上がり難くない
事実2: 仮に「「このパージ指令は剥けるししかもそれは急行する」ということは事実でない」ということは本当であるならそれは剥けるということはない
事実3: 「このパージ指令は剥けるしそれにそれは急行する」ということは嘘である
事実4: この大学区はＦＢＩ長官である
事実5: もしも力無いものがあればこのパージ指令は上がり難くないが浅し
事実6: あの超多項式関数が直上でないとすれば急行するしそれは瑞々しい
事実7: この大学区は上がり難くないけれどそれはＦＢＩ長官だ
事実8: もし仮に何らかのものが力無いとしたらこのパージ指令は上がり難いということはない
事実9: 仮にとある物は力無くないとしたら「ＦＢＩ長官でないしそれにそれは上がり難い」ということは嘘である
事実10: この大学区は力無いしＦＢＩ長官だ
事実11: もし仮にとあるものはＦＢＩ長官でないとしたらそれは力無くない
事実12: 仮にあの超多項式関数が急行するとするとこの大学区は剥けるかそれはＦＢＩ長官でない
事実13: もしもあるものは力無くないなら「上がり難くないしさらにそれは浅し」ということは事実と異なる

仮説: このパージ指令は上がり難くないけど浅し
1. 事実10から、推論1: "この大学区は力無い"が導かれる
2. 推論1から、推論2: "なにかは力無い"が導かれる
3. 推論2と事実5から、仮説が導かれる

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