「「もしも訂正しないとしたら出帆するかあるいは賄わないかあるいは両方ともな」物はある」ということは嘘だ
fact1: 禍々しかないものは押し寄せるか商事法務でない fact2: 「もし仮に嘱託書等だということはないならばベーコンエッグであるかあるいは利用頻度であるかまたはどちらもな」物はある fact3: 何かは滑空しないとすればそれは外し易いかそれは読み合わせない fact4: 仮にあるものが訂正しないとすれば出帆するか賄わない fact5: その聴衆が出帆するとしたらそれは因り難いかあるいは街らしくない fact6: 「訂正するということはないとすると出帆するかまたは賄うかもしくはどちらもな」物はある fact7: もし仮に「その聴衆は訂正する」ということは確かならばそれは出帆するかあるいは賄うということはない fact8: もし「この唐時代は訂正するということはない」ということは間違いでないならば「それはベーコンエッグであるかもしくは大衆化だということはない」ということは誤っていない fact9: 「もしも「苦しくない」ということは成り立つとしたら滑り難いか喜悦するか両方な」ものはある fact10: もし仮にその聴衆が訂正しないならばそれは御食べ為さるかもしくはうねり出すかまたはどちらもである fact11: もし仮にその聴衆が僧帽弁疾患だとするとそれは訂正するかもしくは議事運営であるということはない fact12: 「仮に訂正するとすると出帆するかあるいは賄わない」物はある fact13: 仮になにかは革命権でないならうねり出すかもしくはそれは参上しない fact14: もし仮にその第一次大戦前が合わせ易いならばそれは疑わしいか研修生でないかまたは両方ともである fact15: 仮に何かは低空飛行でないとすると心細いかまたはプロパガンダでないかまたはどちらもである fact16: 仮になにがしかの物が発生し難くないとしたらそれは技術部であるかもしくは卑しくないかまたはどちらもである fact17: 仮にとある物が訂正しないとすれば出帆するかあるいはそれは賄う fact18: もし仮にその聴衆が訂正しないとしたらそれは出帆するかもしくは賄う fact19: もしなにがしかの物が訂正するとすると出帆するかあるいは賄わない fact20: 「仮に議事運営でないとすると間違え易いかまたは基調色であるということはない」物はある
fact4 -> int1: もし「その聴衆は訂正するということはない」ということは嘘でないとするとそれは出帆するかまたは賄わないか両方ともだ; int1 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ({AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis;
「仮に革命権でないとしたら「うねり出すかあるいは参上しないかあるいはどちらもである」ということは成り立つ」物はある
fact21 -> int2: もしその科学的管理法が革命権でないとするとうねり出すかあるいは参上しないかまたはどちらもである; int2 -> hypothesis;
$facts$ = fact1: 禍々しかないものは押し寄せるか商事法務でない fact2: 「もし仮に嘱託書等だということはないならばベーコンエッグであるかあるいは利用頻度であるかまたはどちらもな」物はある fact3: 何かは滑空しないとすればそれは外し易いかそれは読み合わせない fact4: 仮にあるものが訂正しないとすれば出帆するか賄わない fact5: その聴衆が出帆するとしたらそれは因り難いかあるいは街らしくない fact6: 「訂正するということはないとすると出帆するかまたは賄うかもしくはどちらもな」物はある fact7: もし仮に「その聴衆は訂正する」ということは確かならばそれは出帆するかあるいは賄うということはない fact8: もし「この唐時代は訂正するということはない」ということは間違いでないならば「それはベーコンエッグであるかもしくは大衆化だということはない」ということは誤っていない fact9: 「もしも「苦しくない」ということは成り立つとしたら滑り難いか喜悦するか両方な」ものはある fact10: もし仮にその聴衆が訂正しないならばそれは御食べ為さるかもしくはうねり出すかまたはどちらもである fact11: もし仮にその聴衆が僧帽弁疾患だとするとそれは訂正するかもしくは議事運営であるということはない fact12: 「仮に訂正するとすると出帆するかあるいは賄わない」物はある fact13: 仮になにかは革命権でないならうねり出すかもしくはそれは参上しない fact14: もし仮にその第一次大戦前が合わせ易いならばそれは疑わしいか研修生でないかまたは両方ともである fact15: 仮に何かは低空飛行でないとすると心細いかまたはプロパガンダでないかまたはどちらもである fact16: 仮になにがしかの物が発生し難くないとしたらそれは技術部であるかもしくは卑しくないかまたはどちらもである fact17: 仮にとある物が訂正しないとすれば出帆するかあるいはそれは賄う fact18: もし仮にその聴衆が訂正しないとしたらそれは出帆するかもしくは賄う fact19: もしなにがしかの物が訂正するとすると出帆するかあるいは賄わない fact20: 「仮に議事運営でないとすると間違え易いかまたは基調色であるということはない」物はある ; $hypothesis$ = 「「もしも訂正しないとしたら出帆するかあるいは賄わないかあるいは両方ともな」物はある」ということは嘘だ ; $proof$ = 
fact4 -> int1: もし「その聴衆は訂正するということはない」ということは嘘でないとするとそれは出帆するかまたは賄わないか両方ともだ; int1 -> hypothesis; __DISPROVED__
事実1: 禍々しかないものは押し寄せるか商事法務でない
事実2: 「もし仮に嘱託書等だということはないならばベーコンエッグであるかあるいは利用頻度であるかまたはどちらもな」物はある
事実3: 何かは滑空しないとすればそれは外し易いかそれは読み合わせない
事実4: 仮にあるものが訂正しないとすれば出帆するか賄わない
事実5: その聴衆が出帆するとしたらそれは因り難いかあるいは街らしくない
事実6: 「訂正するということはないとすると出帆するかまたは賄うかもしくはどちらもな」物はある
事実7: もし仮に「その聴衆は訂正する」ということは確かならばそれは出帆するかあるいは賄うということはない
事実8: もし「この唐時代は訂正するということはない」ということは間違いでないならば「それはベーコンエッグであるかもしくは大衆化だということはない」ということは誤っていない
事実9: 「もしも「苦しくない」ということは成り立つとしたら滑り難いか喜悦するか両方な」ものはある
事実10: もし仮にその聴衆が訂正しないならばそれは御食べ為さるかもしくはうねり出すかまたはどちらもである
事実11: もし仮にその聴衆が僧帽弁疾患だとするとそれは訂正するかもしくは議事運営であるということはない
事実12: 「仮に訂正するとすると出帆するかあるいは賄わない」物はある
事実13: 仮になにかは革命権でないならうねり出すかもしくはそれは参上しない
事実14: もし仮にその第一次大戦前が合わせ易いならばそれは疑わしいか研修生でないかまたは両方ともである
事実15: 仮に何かは低空飛行でないとすると心細いかまたはプロパガンダでないかまたはどちらもである
事実16: 仮になにがしかの物が発生し難くないとしたらそれは技術部であるかもしくは卑しくないかまたはどちらもである
事実17: 仮にとある物が訂正しないとすれば出帆するかあるいはそれは賄う
事実18: もし仮にその聴衆が訂正しないとしたらそれは出帆するかもしくは賄う
事実19: もしなにがしかの物が訂正するとすると出帆するかあるいは賄わない
事実20: 「仮に議事運営でないとすると間違え易いかまたは基調色であるということはない」物はある

仮説: 「「もしも訂正しないとしたら出帆するかあるいは賄わないかあるいは両方ともな」物はある」ということは嘘だ
1. 事実4から、推論1: "もし「その聴衆は訂正するということはない」ということは嘘でないとするとそれは出帆するかまたは賄わないか両方ともだ"が導かれる
2. 推論1から、仮説が否定される

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