そのコンピュータ利用は国税徴収法である
fact1: 仮にあの宮内記者会が国税徴収法でその上転入するならそのコンピュータ利用は国税徴収法でない fact2: もしあの宮内記者会がスピンオフ小説であるとするとその天狼星は転入する fact3: 「「小高いか繰り返し遣らないかまたは両方ともである」ということは間違いである」物はある fact4: もし仮に「「「小高いか繰り返し遣らない」ということは偽な」物はある」ということは本当であるとしたらこの義勇兵は陵辱しない fact5: 「何らかのものは転入しなくて諂わない」ということは間違いだとすると転入する fact6: もし仮にこの義勇兵が陵辱しないならば松平信綱等であるかあるいは本業であるかまたはどちらもである fact7: もしもその天狼星が転入するとすればそのコンピュータ利用は国税徴収法である fact8: もし仮に「存立する」ものがあればその天狼星はスピンオフ小説であるししかも国税徴収法である fact9: このテロ攻撃は眼でないけど掛け合う fact10: この義勇兵は松平信綱等だとしたら「あの当該自己株式は存立する」ということは真実である fact11: もし仮にその天狼星が国税徴収法だとすればあの宮内記者会は国税徴収法だ fact12: この義勇兵は本業なら「あの当該自己株式は存立する」ということは事実だ fact13: あの宮内記者会はスピンオフ小説だ
fact2 & fact13 -> int1: その天狼星は転入する; int1 & fact7 -> hypothesis;
そのコンピュータ利用は国税徴収法でない
fact14 & fact20 -> int2: この義勇兵は陵辱しない; fact17 & int2 -> int3: この義勇兵は松平信綱等であるかまたは本業であるかあるいはどちらもだ; int3 & fact22 & fact16 -> int4: あの当該自己株式は存立する; int4 -> int5: 「存立する」ものはある; int5 & fact21 -> int6: その天狼星はスピンオフ小説であるし更に国税徴収法だ; int6 -> int7: その天狼星は国税徴収法である; fact18 & int7 -> int8: あの宮内記者会は国税徴収法である; fact15 -> int9: 「あの宮内記者会は転入しないしそれは諂わない」ということは事実と異なるなら「転入する」ということは正しい; fact19 -> int10: 「眼でないし掛け合う」物はある;
$facts$ = fact1: 仮にあの宮内記者会が国税徴収法でその上転入するならそのコンピュータ利用は国税徴収法でない fact2: もしあの宮内記者会がスピンオフ小説であるとするとその天狼星は転入する fact3: 「「小高いか繰り返し遣らないかまたは両方ともである」ということは間違いである」物はある fact4: もし仮に「「「小高いか繰り返し遣らない」ということは偽な」物はある」ということは本当であるとしたらこの義勇兵は陵辱しない fact5: 「何らかのものは転入しなくて諂わない」ということは間違いだとすると転入する fact6: もし仮にこの義勇兵が陵辱しないならば松平信綱等であるかあるいは本業であるかまたはどちらもである fact7: もしもその天狼星が転入するとすればそのコンピュータ利用は国税徴収法である fact8: もし仮に「存立する」ものがあればその天狼星はスピンオフ小説であるししかも国税徴収法である fact9: このテロ攻撃は眼でないけど掛け合う fact10: この義勇兵は松平信綱等だとしたら「あの当該自己株式は存立する」ということは真実である fact11: もし仮にその天狼星が国税徴収法だとすればあの宮内記者会は国税徴収法だ fact12: この義勇兵は本業なら「あの当該自己株式は存立する」ということは事実だ fact13: あの宮内記者会はスピンオフ小説だ ; $hypothesis$ = そのコンピュータ利用は国税徴収法である ; $proof$ = 
fact2 & fact13 -> int1: その天狼星は転入する; int1 & fact7 -> hypothesis; __PROVED__
事実1: 仮にあの宮内記者会が国税徴収法でその上転入するならそのコンピュータ利用は国税徴収法でない
事実2: もしあの宮内記者会がスピンオフ小説であるとするとその天狼星は転入する
事実3: 「「小高いか繰り返し遣らないかまたは両方ともである」ということは間違いである」物はある
事実4: もし仮に「「「小高いか繰り返し遣らない」ということは偽な」物はある」ということは本当であるとしたらこの義勇兵は陵辱しない
事実5: 「何らかのものは転入しなくて諂わない」ということは間違いだとすると転入する
事実6: もし仮にこの義勇兵が陵辱しないならば松平信綱等であるかあるいは本業であるかまたはどちらもである
事実7: もしもその天狼星が転入するとすればそのコンピュータ利用は国税徴収法である
事実8: もし仮に「存立する」ものがあればその天狼星はスピンオフ小説であるししかも国税徴収法である
事実9: このテロ攻撃は眼でないけど掛け合う
事実10: この義勇兵は松平信綱等だとしたら「あの当該自己株式は存立する」ということは真実である
事実11: もし仮にその天狼星が国税徴収法だとすればあの宮内記者会は国税徴収法だ
事実12: この義勇兵は本業なら「あの当該自己株式は存立する」ということは事実だ
事実13: あの宮内記者会はスピンオフ小説だ

仮説: そのコンピュータ利用は国税徴収法である
1. 事実2と事実13から、推論1: "その天狼星は転入する"が導かれる
2. 推論1と事実7から、仮説が導かれる

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