「「もし御忙しくないとすると行儀良くないか権力対象である」物はある」ということは成り立つということはない
fact1: もし仮にあのスペイン内戦が甚だしないなら御忙しくないかもしくはバウンスするかどちらもである fact2: 御忙しいものは行儀良くないかあるいは権力対象であるかもしくはどちらもである fact3: もしも何かは聴講しないとすればそれは断り難いということはないかまたは関するか両方ともである fact4: 仮にとある物が残骸でないとするとそれは実証分析でないかあるいは命中するかもしくは両方ともである fact5: もしあのスペイン内戦は普通船でないならそれは英語であるかそれは行儀良い fact6: もし仮にあのスペイン内戦が行儀良くないならそれは追い求めないかそれは手広いかまたは両方である fact7: 御忙しくないものは行儀良いかまたは権力対象であるかどちらもだ fact8: もし仮に「なにかは御忙しくない」ということは確かであるとすればそれは行儀良くないかあるいは権力対象であるかどちらもだ fact9: もしあのスペイン内戦が吹き飛ばすとすれば権力対象でないかおどろおどろしいか両方だ
fact8 -> int1: もし仮にあのスペイン内戦は御忙しくないならばそれは行儀良くないか権力対象であるかもしくは両方だ; int1 -> hypothesis;
$facts$ = fact1: もし仮にあのスペイン内戦が甚だしないなら御忙しくないかもしくはバウンスするかどちらもである fact2: 御忙しいものは行儀良くないかあるいは権力対象であるかもしくはどちらもである fact3: もしも何かは聴講しないとすればそれは断り難いということはないかまたは関するか両方ともである fact4: 仮にとある物が残骸でないとするとそれは実証分析でないかあるいは命中するかもしくは両方ともである fact5: もしあのスペイン内戦は普通船でないならそれは英語であるかそれは行儀良い fact6: もし仮にあのスペイン内戦が行儀良くないならそれは追い求めないかそれは手広いかまたは両方である fact7: 御忙しくないものは行儀良いかまたは権力対象であるかどちらもだ fact8: もし仮に「なにかは御忙しくない」ということは確かであるとすればそれは行儀良くないかあるいは権力対象であるかどちらもだ fact9: もしあのスペイン内戦が吹き飛ばすとすれば権力対象でないかおどろおどろしいか両方だ ; $hypothesis$ = 「「もし御忙しくないとすると行儀良くないか権力対象である」物はある」ということは成り立つということはない ; $proof$ = 
fact8 -> int1: もし仮にあのスペイン内戦は御忙しくないならばそれは行儀良くないか権力対象であるかもしくは両方だ; int1 -> hypothesis; __DISPROVED__
事実1: もし仮にあのスペイン内戦が甚だしないなら御忙しくないかもしくはバウンスするかどちらもである
事実2: 御忙しいものは行儀良くないかあるいは権力対象であるかもしくはどちらもである
事実3: もしも何かは聴講しないとすればそれは断り難いということはないかまたは関するか両方ともである
事実4: 仮にとある物が残骸でないとするとそれは実証分析でないかあるいは命中するかもしくは両方ともである
事実5: もしあのスペイン内戦は普通船でないならそれは英語であるかそれは行儀良い
事実6: もし仮にあのスペイン内戦が行儀良くないならそれは追い求めないかそれは手広いかまたは両方である
事実7: 御忙しくないものは行儀良いかまたは権力対象であるかどちらもだ
事実8: もし仮に「なにかは御忙しくない」ということは確かであるとすればそれは行儀良くないかあるいは権力対象であるかどちらもだ
事実9: もしあのスペイン内戦が吹き飛ばすとすれば権力対象でないかおどろおどろしいか両方だ

仮説: 「「もし御忙しくないとすると行儀良くないか権力対象である」物はある」ということは成り立つということはない
1. 事実8から、推論1: "もし仮にあのスペイン内戦は御忙しくないならばそれは行儀良くないか権力対象であるかもしくは両方だ"が導かれる
2. 推論1から、仮説が否定される

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