あの詩節は本件事業年度だ
fact1: もしもこの経済成長が答え易いが軽くないならあの詩節は本件事業年度でない fact2: そのバウチャー民営化は埃っぽいということはない fact3: もし仮に「埃っぽくない」ものがあればこの経済成長は答え易い一方で軽くない fact4: 仮に「埃っぽいということはない」ものがあるならばあの経済成長は軽くない fact5: もしも「この経済成長は埃っぽいけどそれは軽くない」ということは確かであるとしたらそのバウチャー民営化は答え易くない fact6: この経済成長は苦くない fact7: もしこの経済成長は頭頂後頭葉なら「整列するしまたそれは答え易くない」ということは正しくない fact8: この経済成長が軽いならそのバウチャー民営化は埃っぽいがしかし本件事業年度でない fact9: この経済成長が答え易いしその上それが軽いとしたらあの詩節は本件事業年度でない
fact2 -> int1: なにがしかのものは埃っぽくない; int1 & fact3 -> int2: この経済成長は答え易いが軽くない; int2 & fact1 -> hypothesis;
「そのバウチャー民営化は本件事業年度でない」ということは事実だ
$facts$ = fact1: もしもこの経済成長が答え易いが軽くないならあの詩節は本件事業年度でない fact2: そのバウチャー民営化は埃っぽいということはない fact3: もし仮に「埃っぽくない」ものがあればこの経済成長は答え易い一方で軽くない fact4: 仮に「埃っぽいということはない」ものがあるならばあの経済成長は軽くない fact5: もしも「この経済成長は埃っぽいけどそれは軽くない」ということは確かであるとしたらそのバウチャー民営化は答え易くない fact6: この経済成長は苦くない fact7: もしこの経済成長は頭頂後頭葉なら「整列するしまたそれは答え易くない」ということは正しくない fact8: この経済成長が軽いならそのバウチャー民営化は埃っぽいがしかし本件事業年度でない fact9: この経済成長が答え易いしその上それが軽いとしたらあの詩節は本件事業年度でない ; $hypothesis$ = あの詩節は本件事業年度だ ; $proof$ = 
fact2 -> int1: なにがしかのものは埃っぽくない; int1 & fact3 -> int2: この経済成長は答え易いが軽くない; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもこの経済成長が答え易いが軽くないならあの詩節は本件事業年度でない
事実2: そのバウチャー民営化は埃っぽいということはない
事実3: もし仮に「埃っぽくない」ものがあればこの経済成長は答え易い一方で軽くない
事実4: 仮に「埃っぽいということはない」ものがあるならばあの経済成長は軽くない
事実5: もしも「この経済成長は埃っぽいけどそれは軽くない」ということは確かであるとしたらそのバウチャー民営化は答え易くない
事実6: この経済成長は苦くない
事実7: もしこの経済成長は頭頂後頭葉なら「整列するしまたそれは答え易くない」ということは正しくない
事実8: この経済成長が軽いならそのバウチャー民営化は埃っぽいがしかし本件事業年度でない
事実9: この経済成長が答え易いしその上それが軽いとしたらあの詩節は本件事業年度でない

仮説: あの詩節は本件事業年度だ
1. 事実2から、推論1: "なにがしかのものは埃っぽくない"が導かれる
2. 推論1と事実3から、推論2: "この経済成長は答え易いが軽くない"が導かれる
3. 推論2と事実1から、仮説が否定される

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