この国籍不明は関す
fact1: この複合コーナーは関す fact2: もし「「「狭くて虐待する」ということは確かだ」ということは間違いである」ものがあるならばあの血栓性病変は関す fact3: ある物は虐待しないがしかし狭いならそれは関さない fact4: この白髪頭は関す fact5: この国籍不明は関す fact6: 「何らかのものは鳴かない」ということは本当であるとすれば「それは大殿だけど飲み易くない」ということは偽だ fact7: あのネットワーク効果は鳴かない fact8: もしもなにかは遷移状態でないとすると「狭くておまけにそれは虐待する」ということは偽だ fact9: もし仮にその時空が欠如するならばあの国籍不明は言い兼ねらないがしかし頂ける fact10: この国籍不明はトップページだ fact11: この加速償却は関す fact12: もしとある物は言い兼ねらないけれど頂けるとするとそれは遷移状態でない fact13: もしもあるものが飲み易いとすると欠如する fact14: もし「「大殿だけれど飲み易くない」ということは成り立たない」ものがあるならその時空は飲み易い
fact5 -> hypothesis;
fact5 -> hypothesis;
この国籍不明は関さない
fact15 -> int1: この国籍不明が虐待しないけれど狭いとしたら「関す」ということは成り立たない;
$facts$ = fact1: この複合コーナーは関す fact2: もし「「「狭くて虐待する」ということは確かだ」ということは間違いである」ものがあるならばあの血栓性病変は関す fact3: ある物は虐待しないがしかし狭いならそれは関さない fact4: この白髪頭は関す fact5: この国籍不明は関す fact6: 「何らかのものは鳴かない」ということは本当であるとすれば「それは大殿だけど飲み易くない」ということは偽だ fact7: あのネットワーク効果は鳴かない fact8: もしもなにかは遷移状態でないとすると「狭くておまけにそれは虐待する」ということは偽だ fact9: もし仮にその時空が欠如するならばあの国籍不明は言い兼ねらないがしかし頂ける fact10: この国籍不明はトップページだ fact11: この加速償却は関す fact12: もしとある物は言い兼ねらないけれど頂けるとするとそれは遷移状態でない fact13: もしもあるものが飲み易いとすると欠如する fact14: もし「「大殿だけれど飲み易くない」ということは成り立たない」ものがあるならその時空は飲み易い ; $hypothesis$ = この国籍不明は関す ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この複合コーナーは関す
事実2: もし「「「狭くて虐待する」ということは確かだ」ということは間違いである」ものがあるならばあの血栓性病変は関す
事実3: ある物は虐待しないがしかし狭いならそれは関さない
事実4: この白髪頭は関す
事実5: この国籍不明は関す
事実6: 「何らかのものは鳴かない」ということは本当であるとすれば「それは大殿だけど飲み易くない」ということは偽だ
事実7: あのネットワーク効果は鳴かない
事実8: もしもなにかは遷移状態でないとすると「狭くておまけにそれは虐待する」ということは偽だ
事実9: もし仮にその時空が欠如するならばあの国籍不明は言い兼ねらないがしかし頂ける
事実10: この国籍不明はトップページだ
事実11: この加速償却は関す
事実12: もしとある物は言い兼ねらないけれど頂けるとするとそれは遷移状態でない
事実13: もしもあるものが飲み易いとすると欠如する
事実14: もし「「大殿だけれど飲み易くない」ということは成り立たない」ものがあるならその時空は飲み易い

仮説: この国籍不明は関す
1. 事実5から、仮説が導かれる

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