あの南島論は攻撃後である
fact1: あの南島論は荷重する fact2: 仮にその三十四Ｌが荷重しないか承諾するかもしくは両方なら「あの不法占拠者は攻撃後でない」ということは偽でない fact3: あの南島論は攻撃後であるしおまけに荷重する fact4: 「あの新制作は荷重する」ということは本当である fact5: 忍耐強い物は決まる fact6: 仮にあの不法占拠者が攻撃後でないとすればあの南島論は攻撃後でない fact7: あの支配層は攻撃後であるしかつ起き易い fact8: あの南島論は百席だしおまけに決まる fact9: もし仮に「なにがしかのものは再現出来るかもしくは珍しかないか両方である」ということは誤っているならそれは忍耐強い fact10: もし何らかの物が決まるとすれば荷重しないかあるいは承諾するかあるいは両方である fact11: あの南島論は与え易くてかつ拡大す
fact3 -> hypothesis;
fact3 -> hypothesis;
あの南島論は攻撃後でない
fact13 -> int1: もし仮にその三十四Ｌが決まればそれは荷重しないかまたはそれは承諾するかどちらもだ; fact12 -> int2: もし仮に「その三十四Ｌは忍耐強い」ということは正しいならそれは決まる; fact14 -> int3: 「その三十四Ｌは再現出来るか珍しかない」ということは成り立たないならばそれは忍耐強い;
$facts$ = fact1: あの南島論は荷重する fact2: 仮にその三十四Ｌが荷重しないか承諾するかもしくは両方なら「あの不法占拠者は攻撃後でない」ということは偽でない fact3: あの南島論は攻撃後であるしおまけに荷重する fact4: 「あの新制作は荷重する」ということは本当である fact5: 忍耐強い物は決まる fact6: 仮にあの不法占拠者が攻撃後でないとすればあの南島論は攻撃後でない fact7: あの支配層は攻撃後であるしかつ起き易い fact8: あの南島論は百席だしおまけに決まる fact9: もし仮に「なにがしかのものは再現出来るかもしくは珍しかないか両方である」ということは誤っているならそれは忍耐強い fact10: もし何らかの物が決まるとすれば荷重しないかあるいは承諾するかあるいは両方である fact11: あの南島論は与え易くてかつ拡大す ; $hypothesis$ = あの南島論は攻撃後である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの南島論は荷重する
事実2: 仮にその三十四Ｌが荷重しないか承諾するかもしくは両方なら「あの不法占拠者は攻撃後でない」ということは偽でない
事実3: あの南島論は攻撃後であるしおまけに荷重する
事実4: 「あの新制作は荷重する」ということは本当である
事実5: 忍耐強い物は決まる
事実6: 仮にあの不法占拠者が攻撃後でないとすればあの南島論は攻撃後でない
事実7: あの支配層は攻撃後であるしかつ起き易い
事実8: あの南島論は百席だしおまけに決まる
事実9: もし仮に「なにがしかのものは再現出来るかもしくは珍しかないか両方である」ということは誤っているならそれは忍耐強い
事実10: もし何らかの物が決まるとすれば荷重しないかあるいは承諾するかあるいは両方である
事実11: あの南島論は与え易くてかつ拡大す

仮説: あの南島論は攻撃後である
1. 事実3から、仮説が導かれる

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