その洗い出しはしらばくれる
fact1: その洗い出しは悶えない fact2: あの篩は悶えない fact3: もし「なにがしかの物は訪わないがしかし久し」ということは偽であるならしらばくれるということはない fact4: もしもとあるものが悶えればしらばくれる fact5: もしある物は周遊するということはないなら「それは世界平和でないしそれは久し」ということは誤っている fact6: もしその洗い出しは悶えないとすれば「それは訪わないが久し」ということは嘘である
fact3 -> int1: 仮に「その洗い出しは訪わない一方で久し」ということは確かでないならそれはしらばくれない; fact1 & fact6 -> int2: 「その洗い出しは訪わない一方で久し」ということは誤りである; int1 & int2 -> hypothesis;
その洗い出しはしらばくれる
fact7 -> int3: もし仮に「その洗い出しは悶える」ということは誤っていないならばしらばくれる;
$facts$ = fact1: その洗い出しは悶えない fact2: あの篩は悶えない fact3: もし「なにがしかの物は訪わないがしかし久し」ということは偽であるならしらばくれるということはない fact4: もしもとあるものが悶えればしらばくれる fact5: もしある物は周遊するということはないなら「それは世界平和でないしそれは久し」ということは誤っている fact6: もしその洗い出しは悶えないとすれば「それは訪わないが久し」ということは嘘である ; $hypothesis$ = その洗い出しはしらばくれる ; $proof$ = 
fact3 -> int1: 仮に「その洗い出しは訪わない一方で久し」ということは確かでないならそれはしらばくれない; fact1 & fact6 -> int2: 「その洗い出しは訪わない一方で久し」ということは誤りである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その洗い出しは悶えない
事実2: あの篩は悶えない
事実3: もし「なにがしかの物は訪わないがしかし久し」ということは偽であるならしらばくれるということはない
事実4: もしもとあるものが悶えればしらばくれる
事実5: もしある物は周遊するということはないなら「それは世界平和でないしそれは久し」ということは誤っている
事実6: もしその洗い出しは悶えないとすれば「それは訪わないが久し」ということは嘘である

仮説: その洗い出しはしらばくれる
1. 事実3から、推論1: "仮に「その洗い出しは訪わない一方で久し」ということは確かでないならそれはしらばくれない"が導かれる
2. 事実1と事実6から、推論2: "「その洗い出しは訪わない一方で久し」ということは誤りである"が導かれる
3. 推論1と推論2から、仮説が否定される

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