「その小学校算数は襟付けない」ということは真実である
fact1: 「都道府県再編である」ものはある fact2: もしなにがしかの物が都道府県再編であるし植物人間であるならばあの自然定数は入り難い fact3: 仮にその小学校算数が這いずるとしたらそれは襟付ける fact4: 「植物人間な」物はある fact5: 仮に「ある物は入り難くないが襟付ける」ということは偽であるとすると襟付けるということはない fact6: 入り難い物は住宅開発であるか表われでないかあるいは両方ともだ fact7: 仮になにかは敗訴者負担制度でないならば這いずる fact8: もしもあの自然定数は住宅開発であるならば「その小学校算数は敗訴者負担制度でない」ということは真実だ fact9: もしあの自然定数が住宅開発であるかもしくは表われでないとするとその小学校算数は敗訴者負担制度でない fact10: なんらかの物は都道府県再編であるしそれにそれは植物人間だ
fact6 -> int1: あの自然定数が入り難いとしたら住宅開発であるかもしくは表われでないか両方ともである; fact10 & fact2 -> int2: あの自然定数は入り難い; int1 & int2 -> int3: あの自然定数は住宅開発であるか表われでない; int3 & fact9 -> int4: その小学校算数は敗訴者負担制度でない; fact7 -> int5: その小学校算数は敗訴者負担制度でないとすると這いずる; int4 & int5 -> int6: その小学校算数は這いずる; int6 & fact3 -> hypothesis;
その小学校算数は襟付けない
fact11 -> int7: もし仮に「その小学校算数は入り難いということはないがそれは襟付ける」ということは間違っているとしたら襟付けるということはない;
$facts$ = fact1: 「都道府県再編である」ものはある fact2: もしなにがしかの物が都道府県再編であるし植物人間であるならばあの自然定数は入り難い fact3: 仮にその小学校算数が這いずるとしたらそれは襟付ける fact4: 「植物人間な」物はある fact5: 仮に「ある物は入り難くないが襟付ける」ということは偽であるとすると襟付けるということはない fact6: 入り難い物は住宅開発であるか表われでないかあるいは両方ともだ fact7: 仮になにかは敗訴者負担制度でないならば這いずる fact8: もしもあの自然定数は住宅開発であるならば「その小学校算数は敗訴者負担制度でない」ということは真実だ fact9: もしあの自然定数が住宅開発であるかもしくは表われでないとするとその小学校算数は敗訴者負担制度でない fact10: なんらかの物は都道府県再編であるしそれにそれは植物人間だ ; $hypothesis$ = 「その小学校算数は襟付けない」ということは真実である ; $proof$ = 
fact6 -> int1: あの自然定数が入り難いとしたら住宅開発であるかもしくは表われでないか両方ともである; fact10 & fact2 -> int2: あの自然定数は入り難い; int1 & int2 -> int3: あの自然定数は住宅開発であるか表われでない; int3 & fact9 -> int4: その小学校算数は敗訴者負担制度でない; fact7 -> int5: その小学校算数は敗訴者負担制度でないとすると這いずる; int4 & int5 -> int6: その小学校算数は這いずる; int6 & fact3 -> hypothesis; __DISPROVED__
事実1: 「都道府県再編である」ものはある
事実2: もしなにがしかの物が都道府県再編であるし植物人間であるならばあの自然定数は入り難い
事実3: 仮にその小学校算数が這いずるとしたらそれは襟付ける
事実4: 「植物人間な」物はある
事実5: 仮に「ある物は入り難くないが襟付ける」ということは偽であるとすると襟付けるということはない
事実6: 入り難い物は住宅開発であるか表われでないかあるいは両方ともだ
事実7: 仮になにかは敗訴者負担制度でないならば這いずる
事実8: もしもあの自然定数は住宅開発であるならば「その小学校算数は敗訴者負担制度でない」ということは真実だ
事実9: もしあの自然定数が住宅開発であるかもしくは表われでないとするとその小学校算数は敗訴者負担制度でない
事実10: なんらかの物は都道府県再編であるしそれにそれは植物人間だ

仮説: 「その小学校算数は襟付けない」ということは真実である
1. 事実6から、推論1: "あの自然定数が入り難いとしたら住宅開発であるかもしくは表われでないか両方ともである"が導かれる
2. 事実10と事実2から、推論2: "あの自然定数は入り難い"が導かれる
3. 推論1と推論2から、推論3: "あの自然定数は住宅開発であるか表われでない"が導かれる
4. 推論3と事実9から、推論4: "その小学校算数は敗訴者負担制度でない"が導かれる
5. 事実7から、推論5: "その小学校算数は敗訴者負担制度でないとすると這いずる"が導かれる
6. 推論4と推論5から、推論6: "その小学校算数は這いずる"が導かれる
7. 推論6と事実3から、仮説が否定される

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