このクロワッサンは多細胞である
fact1: 行き易くない物は勧めであるし通り難い fact2: もし仮にとあるものは設置出来るとすると「それは馴染み深くないがザカである」ということは成り立たない fact3: 「仮にあのサンプリング定理は馴染み深くないならば「あのサンプリング定理は追い払うしそれに撰する」ということは誤っている」ということは真実だ fact4: 「もしもあのサンプリング定理が追い払わないとすればこのクロワッサンは多細胞でない」ということは成り立つ fact5: もしも「あのサンプリング定理は馴染み深くないがザカである」ということは成り立たないとすればあのクロワッサンは多細胞である fact6: 「あのサンプリング定理は多細胞であるし追い払う」ということは事実と異なる fact7: あのサンプリング定理は馴染み深くない fact8: 「何らかの物は多細胞でない」ということは確かであるならば「凶悪事件だし馴染み深い」ということは間違っている fact9: もし仮にこの心太は発生し難くないし戸惑わないとすると「それは気高し」ということは偽でない fact10: この心太は戸惑わない fact11: 仮に「「あのサンプリング定理は追い払うし更に撰する」ということは事実と異なる」ということは偽でないならばこのクロワッサンは多細胞でない fact12: この心太は発生し難くないけど家宅である fact13: この心太は行き易くない
fact3 & fact7 -> int1: 「あのサンプリング定理は追い払うしそれにそれは撰する」ということは成り立たない; int1 & fact11 -> hypothesis;
「このクロワッサンは多細胞だ」ということは成り立つ
fact18 -> int2: 仮にあのサンプリング定理は設置出来るとすれば「馴染み深いということはないけれどザカだ」ということは誤りだ; fact20 -> int3: もしも「この心太は行き易くない」ということは確かであるならばそれは勧めであるしそれは通り難い; int3 & fact17 -> int4: この心太が勧めだしさらに通り難い; int4 -> int5: この心太は勧めである; fact19 -> int6: 「この心太は発生し難くない」ということは成り立つ; int6 & fact16 -> int7: この心太は発生し難いということはないし戸惑わない; fact15 & int7 -> int8: この心太は気高し; int5 & int8 -> int9: この心太は勧めであるし気高し; int9 -> int10: とある物は勧めであるししかも気高し;
$facts$ = fact1: 行き易くない物は勧めであるし通り難い fact2: もし仮にとあるものは設置出来るとすると「それは馴染み深くないがザカである」ということは成り立たない fact3: 「仮にあのサンプリング定理は馴染み深くないならば「あのサンプリング定理は追い払うしそれに撰する」ということは誤っている」ということは真実だ fact4: 「もしもあのサンプリング定理が追い払わないとすればこのクロワッサンは多細胞でない」ということは成り立つ fact5: もしも「あのサンプリング定理は馴染み深くないがザカである」ということは成り立たないとすればあのクロワッサンは多細胞である fact6: 「あのサンプリング定理は多細胞であるし追い払う」ということは事実と異なる fact7: あのサンプリング定理は馴染み深くない fact8: 「何らかの物は多細胞でない」ということは確かであるならば「凶悪事件だし馴染み深い」ということは間違っている fact9: もし仮にこの心太は発生し難くないし戸惑わないとすると「それは気高し」ということは偽でない fact10: この心太は戸惑わない fact11: 仮に「「あのサンプリング定理は追い払うし更に撰する」ということは事実と異なる」ということは偽でないならばこのクロワッサンは多細胞でない fact12: この心太は発生し難くないけど家宅である fact13: この心太は行き易くない ; $hypothesis$ = このクロワッサンは多細胞である ; $proof$ = 
fact3 & fact7 -> int1: 「あのサンプリング定理は追い払うしそれにそれは撰する」ということは成り立たない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: 行き易くない物は勧めであるし通り難い
事実2: もし仮にとあるものは設置出来るとすると「それは馴染み深くないがザカである」ということは成り立たない
事実3: 「仮にあのサンプリング定理は馴染み深くないならば「あのサンプリング定理は追い払うしそれに撰する」ということは誤っている」ということは真実だ
事実4: 「もしもあのサンプリング定理が追い払わないとすればこのクロワッサンは多細胞でない」ということは成り立つ
事実5: もしも「あのサンプリング定理は馴染み深くないがザカである」ということは成り立たないとすればあのクロワッサンは多細胞である
事実6: 「あのサンプリング定理は多細胞であるし追い払う」ということは事実と異なる
事実7: あのサンプリング定理は馴染み深くない
事実8: 「何らかの物は多細胞でない」ということは確かであるならば「凶悪事件だし馴染み深い」ということは間違っている
事実9: もし仮にこの心太は発生し難くないし戸惑わないとすると「それは気高し」ということは偽でない
事実10: この心太は戸惑わない
事実11: 仮に「「あのサンプリング定理は追い払うし更に撰する」ということは事実と異なる」ということは偽でないならばこのクロワッサンは多細胞でない
事実12: この心太は発生し難くないけど家宅である
事実13: この心太は行き易くない

仮説: このクロワッサンは多細胞である
1. 事実3と事実7から、推論1: "「あのサンプリング定理は追い払うしそれにそれは撰する」ということは成り立たない"が導かれる
2. 推論1と事実11から、仮説が否定される

よって、仮説が否定されました。