あの町木戸は慎み深くない
fact1: そのバンカーは告ぐしそれは排便する fact2: その両側副腎は告ぐ fact3: 「そのバンカーは排便する」ということは真実だ fact4: このクローリーがウイルス学的検査だとすればあの町木戸は慎み深い fact5: もしとあるものが告ぐとするとそれは円滑化する fact6: あの町木戸は告ぐ fact7: もし仮にこのクローリーがウイルス学的検査でないがしかし排便すればそのバンカーは排便するということはない fact8: 仮に「このクローリーは告ぐ」ということは成り立つならそれはウイルス学的検査である fact9: もし仮に「そのバンカーは円滑化する」ということは正しいならこのクローリーはウイルス学的検査だ fact10: もし仮にあるものは排便しないならば「告ぐししかも慎み深い」ということは誤っている fact11: あの町木戸は円滑化する fact12: もしあの町木戸が円滑化すればそのバンカーは慎み深い
fact1 -> int1: そのバンカーは告ぐ; fact5 -> int2: もし仮にそのバンカーが告ぐとすると円滑化する; int1 & int2 -> int3: そのバンカーは円滑化する; int3 & fact9 -> int4: このクローリーはウイルス学的検査だ; int4 & fact4 -> hypothesis;
あの町木戸は慎み深くない
fact13 -> int5: 「もしそのバンカーは排便しないなら「そのバンカーは告ぐし慎み深い」ということは誤っている」ということは事実だ;
$facts$ = fact1: そのバンカーは告ぐしそれは排便する fact2: その両側副腎は告ぐ fact3: 「そのバンカーは排便する」ということは真実だ fact4: このクローリーがウイルス学的検査だとすればあの町木戸は慎み深い fact5: もしとあるものが告ぐとするとそれは円滑化する fact6: あの町木戸は告ぐ fact7: もし仮にこのクローリーがウイルス学的検査でないがしかし排便すればそのバンカーは排便するということはない fact8: 仮に「このクローリーは告ぐ」ということは成り立つならそれはウイルス学的検査である fact9: もし仮に「そのバンカーは円滑化する」ということは正しいならこのクローリーはウイルス学的検査だ fact10: もし仮にあるものは排便しないならば「告ぐししかも慎み深い」ということは誤っている fact11: あの町木戸は円滑化する fact12: もしあの町木戸が円滑化すればそのバンカーは慎み深い ; $hypothesis$ = あの町木戸は慎み深くない ; $proof$ = 
fact1 -> int1: そのバンカーは告ぐ; fact5 -> int2: もし仮にそのバンカーが告ぐとすると円滑化する; int1 & int2 -> int3: そのバンカーは円滑化する; int3 & fact9 -> int4: このクローリーはウイルス学的検査だ; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: そのバンカーは告ぐしそれは排便する
事実2: その両側副腎は告ぐ
事実3: 「そのバンカーは排便する」ということは真実だ
事実4: このクローリーがウイルス学的検査だとすればあの町木戸は慎み深い
事実5: もしとあるものが告ぐとするとそれは円滑化する
事実6: あの町木戸は告ぐ
事実7: もし仮にこのクローリーがウイルス学的検査でないがしかし排便すればそのバンカーは排便するということはない
事実8: 仮に「このクローリーは告ぐ」ということは成り立つならそれはウイルス学的検査である
事実9: もし仮に「そのバンカーは円滑化する」ということは正しいならこのクローリーはウイルス学的検査だ
事実10: もし仮にあるものは排便しないならば「告ぐししかも慎み深い」ということは誤っている
事実11: あの町木戸は円滑化する
事実12: もしあの町木戸が円滑化すればそのバンカーは慎み深い

仮説: あの町木戸は慎み深くない
1. 事実1から、推論1: "そのバンカーは告ぐ"が導かれる
2. 事実5から、推論2: "もし仮にそのバンカーが告ぐとすると円滑化する"が導かれる
3. 推論1と推論2から、推論3: "そのバンカーは円滑化する"が導かれる
4. 推論3と事実9から、推論4: "このクローリーはウイルス学的検査だ"が導かれる
5. 推論4と事実4から、仮説が否定される

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