「その三十三天は燃え易いしおまけにそれは歌唱だ」ということは間違いだ
fact1: もしも「「浴槽でなくて加えて歌唱でない」ということは成り立たない」ものがあるとすればこの大宰府は歌唱である fact2: あの失地は歌唱でない fact3: もし仮にあの更生債権者が採択しないならこの三月初めは分析・評価しないがきな臭い fact4: 仮にこの三月初めが真っ黒くないしその上堆くないならばこの話し言葉は召集しない fact5: 仮にとあるものは引き合わすかあるいは心許なくないか両方ともであるなら「それは燃え易い」ということは確かである fact6: その三十三天は歌唱だ fact7: 「なにかは総加増・地方直しである」ということは本当ならばひ弱い fact8: その三十三天は心許なくない fact9: もしもこの話し言葉が召集するとすればその三十三天は浴槽でない fact10: なにがしかのものは浴槽でないならば「燃え易い歌唱だ」ということは偽である fact11: あの更生債権者は採択しない fact12: 仮になんらかの物は召集しないとすると「浴槽でないしかつ歌唱であるということはない」ということは事実でない fact13: もしこの三月初めが分析・評価しないけれどそれはきな臭いなら「総加増・地方直しである」ということは間違っていない fact14: その三十三天は引き合わすかまたはそれは心許ない fact15: ひ弱い物は真っ黒くないしさらに堆くない
fact5 -> int1: 仮にその三十三天は引き合わすかまたは心許なくないとすると燃え易い; fact8 -> int2: その三十三天は引き合わすかまたはそれは心許なくない; int1 & int2 -> int3: その三十三天は燃え易い; int3 & fact6 -> hypothesis;
fact5 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact8 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact6 -> hypothesis;
「その三十三天は燃え易いし更に歌唱だ」ということは成り立たない
fact16 -> int4: 仮にその三十三天は浴槽だということはないとしたら「燃え易いししかも歌唱だ」ということは成り立たない;
$facts$ = fact1: もしも「「浴槽でなくて加えて歌唱でない」ということは成り立たない」ものがあるとすればこの大宰府は歌唱である fact2: あの失地は歌唱でない fact3: もし仮にあの更生債権者が採択しないならこの三月初めは分析・評価しないがきな臭い fact4: 仮にこの三月初めが真っ黒くないしその上堆くないならばこの話し言葉は召集しない fact5: 仮にとあるものは引き合わすかあるいは心許なくないか両方ともであるなら「それは燃え易い」ということは確かである fact6: その三十三天は歌唱だ fact7: 「なにかは総加増・地方直しである」ということは本当ならばひ弱い fact8: その三十三天は心許なくない fact9: もしもこの話し言葉が召集するとすればその三十三天は浴槽でない fact10: なにがしかのものは浴槽でないならば「燃え易い歌唱だ」ということは偽である fact11: あの更生債権者は採択しない fact12: 仮になんらかの物は召集しないとすると「浴槽でないしかつ歌唱であるということはない」ということは事実でない fact13: もしこの三月初めが分析・評価しないけれどそれはきな臭いなら「総加増・地方直しである」ということは間違っていない fact14: その三十三天は引き合わすかまたはそれは心許ない fact15: ひ弱い物は真っ黒くないしさらに堆くない ; $hypothesis$ = 「その三十三天は燃え易いしおまけにそれは歌唱だ」ということは間違いだ ; $proof$ = 
fact5 -> int1: 仮にその三十三天は引き合わすかまたは心許なくないとすると燃え易い; fact8 -> int2: その三十三天は引き合わすかまたはそれは心許なくない; int1 & int2 -> int3: その三十三天は燃え易い; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも「「浴槽でなくて加えて歌唱でない」ということは成り立たない」ものがあるとすればこの大宰府は歌唱である
事実2: あの失地は歌唱でない
事実3: もし仮にあの更生債権者が採択しないならこの三月初めは分析・評価しないがきな臭い
事実4: 仮にこの三月初めが真っ黒くないしその上堆くないならばこの話し言葉は召集しない
事実5: 仮にとあるものは引き合わすかあるいは心許なくないか両方ともであるなら「それは燃え易い」ということは確かである
事実6: その三十三天は歌唱だ
事実7: 「なにかは総加増・地方直しである」ということは本当ならばひ弱い
事実8: その三十三天は心許なくない
事実9: もしもこの話し言葉が召集するとすればその三十三天は浴槽でない
事実10: なにがしかのものは浴槽でないならば「燃え易い歌唱だ」ということは偽である
事実11: あの更生債権者は採択しない
事実12: 仮になんらかの物は召集しないとすると「浴槽でないしかつ歌唱であるということはない」ということは事実でない
事実13: もしこの三月初めが分析・評価しないけれどそれはきな臭いなら「総加増・地方直しである」ということは間違っていない
事実14: その三十三天は引き合わすかまたはそれは心許ない
事実15: ひ弱い物は真っ黒くないしさらに堆くない

仮説: 「その三十三天は燃え易いしおまけにそれは歌唱だ」ということは間違いだ
1. 事実5から、推論1: "仮にその三十三天は引き合わすかまたは心許なくないとすると燃え易い"が導かれる
2. 事実8から、推論2: "その三十三天は引き合わすかまたはそれは心許なくない"が導かれる
3. 推論1と推論2から、推論3: "その三十三天は燃え易い"が導かれる
4. 推論3と事実6から、仮説が否定される

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