その雑草は際限無い
fact1: その更衣室は黄金虫で尽くし難い fact2: もし仮にその更衣室が尽くし難いならばその雑草は旬でない fact3: もしあるものは旬でないとするとそれは際限無くない
fact1 -> int1: その更衣室は尽くし難い; int1 & fact2 -> int2: その雑草は旬でない; fact3 -> int3: もしその雑草が旬だということはないならそれは際限無くない; int2 & int3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ¬{C}{b}; fact3 -> int3: ¬{C}{b} -> ¬{D}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: その更衣室は黄金虫で尽くし難い fact2: もし仮にその更衣室が尽くし難いならばその雑草は旬でない fact3: もしあるものは旬でないとするとそれは際限無くない ; $hypothesis$ = その雑草は際限無い ; $proof$ = 
fact1 -> int1: その更衣室は尽くし難い; int1 & fact2 -> int2: その雑草は旬でない; fact3 -> int3: もしその雑草が旬だということはないならそれは際限無くない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その更衣室は黄金虫で尽くし難い
事実2: もし仮にその更衣室が尽くし難いならばその雑草は旬でない
事実3: もしあるものは旬でないとするとそれは際限無くない

仮説: その雑草は際限無い
1. 事実1から、推論1: "その更衣室は尽くし難い"が導かれる
2. 推論1と事実2から、推論2: "その雑草は旬でない"が導かれる
3. 事実3から、推論3: "もしその雑草が旬だということはないならそれは際限無くない"が導かれる
4. 推論2と推論3から、仮説が否定される

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