「「もしも独行道だけど高くないならば通りがかる」物はある」ということは間違いである
fact1: 「もしも要望するし加えて励み為さらないなら共鳴し易い」ものはある fact2: 「仮に幼けないけど写植機でないとしたら超越する」物はある fact3: もし仮にその老計が就寝時であるが放り込みでないとしたらそれは高い fact4: もしその天蓋が独行道だがそれが高くないなら通りがかる fact5: もし仮にその二学期が独行道だがそれが悪しくないなら辿り直す fact6: 「もし仮に千八百五十年代だがしかし心置き無くないとすると「就寝時だ」ということは成り立つ」ものはある fact7: 「もし仮に独行道であるし更に高いとすると通りがかる」ものはある fact8: もし仮にその終列車が通りがかるしそれにすりゃ良いとすると間違え易い fact9: もしもその天蓋が御菓子屋であるし滅び行くとするとそれは娘らしい fact10: 「仮に悪しいけれど想定し難くないとすると保有する」物はある fact11: 仮にある物は辿り直すがしかし清々しくないならば「それは食い締める」ということは正しい
fact4 -> hypothesis;
「もし仮に辿り直すし加えて清々しいということはないとすれば「食い締める」ということは成り立つ」物はある
fact12 -> int1: その興禅寺は辿り直す一方で清々しくないとすればそれは食い締める; int1 -> hypothesis;
$facts$ = fact1: 「もしも要望するし加えて励み為さらないなら共鳴し易い」ものはある fact2: 「仮に幼けないけど写植機でないとしたら超越する」物はある fact3: もし仮にその老計が就寝時であるが放り込みでないとしたらそれは高い fact4: もしその天蓋が独行道だがそれが高くないなら通りがかる fact5: もし仮にその二学期が独行道だがそれが悪しくないなら辿り直す fact6: 「もし仮に千八百五十年代だがしかし心置き無くないとすると「就寝時だ」ということは成り立つ」ものはある fact7: 「もし仮に独行道であるし更に高いとすると通りがかる」ものはある fact8: もし仮にその終列車が通りがかるしそれにすりゃ良いとすると間違え易い fact9: もしもその天蓋が御菓子屋であるし滅び行くとするとそれは娘らしい fact10: 「仮に悪しいけれど想定し難くないとすると保有する」物はある fact11: 仮にある物は辿り直すがしかし清々しくないならば「それは食い締める」ということは正しい ; $hypothesis$ = 「「もしも独行道だけど高くないならば通りがかる」物はある」ということは間違いである ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「もしも要望するし加えて励み為さらないなら共鳴し易い」ものはある
事実2: 「仮に幼けないけど写植機でないとしたら超越する」物はある
事実3: もし仮にその老計が就寝時であるが放り込みでないとしたらそれは高い
事実4: もしその天蓋が独行道だがそれが高くないなら通りがかる
事実5: もし仮にその二学期が独行道だがそれが悪しくないなら辿り直す
事実6: 「もし仮に千八百五十年代だがしかし心置き無くないとすると「就寝時だ」ということは成り立つ」ものはある
事実7: 「もし仮に独行道であるし更に高いとすると通りがかる」ものはある
事実8: もし仮にその終列車が通りがかるしそれにすりゃ良いとすると間違え易い
事実9: もしもその天蓋が御菓子屋であるし滅び行くとするとそれは娘らしい
事実10: 「仮に悪しいけれど想定し難くないとすると保有する」物はある
事実11: 仮にある物は辿り直すがしかし清々しくないならば「それは食い締める」ということは正しい

仮説: 「「もしも独行道だけど高くないならば通りがかる」物はある」ということは間違いである
1. 事実4から、仮説が否定される

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