「そのノーマルカーはせせこましくないか其れっぽいかもしくは両方ともである」ということは誤りだ
fact1: そのファインマン伝播関数はせせこましくない fact2: 「もし「そのノーマルカーは名高いけれどそれは入庁しない」ということは嘘であるならばそのファインマン伝播関数は其れっぽくない」ということは確かである fact3: 「そのファインマン伝播関数は扮する」ということは本当なら「そのノーマルカーはせせこましくないか其れっぽいかどちらもだ」ということは成り立たない fact4: 「そのファインマン伝播関数は其れっぽいが入庁しない」ということは誤りだ fact5: もしも「そのファインマン伝播関数は名高い一方で入庁するということはない」ということは偽であるとするとそのノーマルカーはせせこましくない fact6: 「そのノーマルカーは名高いけれど燃え易くない」ということは誤りである fact7: そのノーマルカーは入庁しないかそれは其れっぽい fact8: 仮にあの構成生薬はえぐくないとしたら「「それは見透かすけれど届き易くない」ということは正しい」ということは誤りだ fact9: そのノーマルカーは上げ難いということはないかまたは其れっぽい fact10: もし何かは誂えない一方で争えるとすれば炎症でない fact11: もし仮に「なんらかのものは有髄線維であるかあるいは芽生え始めないかまたは両方だ」ということは成り立たないならばそれは扮する fact12: 「そのノーマルカーはせせこましいかあるいは其れっぽいかもしくは両方ともである」ということは確かである fact13: 「「そのノーマルカーは入庁するが其れっぽくない」ということは成り立たない」ということは誤りでない fact14: 「そのファインマン伝播関数は名高くて入庁する」ということは事実と異なる fact15: そのファインマン伝播関数は憎悪でないかまたは対潜である fact16: もし仮になにかは炎症でないとしたら「それは有髄線維であるかもしくはそれは芽生え始めないか両方ともである」ということは誤っている fact17: もし仮にこの山鳥が届き易いとすればそのファインマン伝播関数は誂えない一方で争える fact18: そのファインマン伝播関数は其れっぽいということはないかまたはそれは名高いかあるいは両方ともだ fact19: もし仮にそのファインマン伝播関数が入庁するとしたらそのノーマルカーはせせこましくない fact20: 「そのファインマン伝播関数は名高いが入庁するということはない」ということは成り立たない
fact5 & fact20 -> int1: そのノーマルカーはせせこましくない; int1 -> hypothesis;
fact5 & fact20 -> int1: ¬{B}{b}; int1 -> hypothesis;
「「そのノーマルカーはせせこましくないか其れっぽい」ということは嘘だ」ということは嘘であるということはない
fact21 -> int2: もし仮に「「そのファインマン伝播関数は有髄線維であるか芽生え始めない」ということは成り立たない」ということは偽でないならばそれは扮する; fact25 -> int3: そのファインマン伝播関数は炎症でないとすれば「有髄線維であるかあるいはそれは芽生え始めるということはないかまたはどちらもだ」ということは成り立たない; fact26 -> int4: もし仮にそのファインマン伝播関数は誂えない一方で争えるなら「それは炎症でない」ということは真実である;
$facts$ = fact1: そのファインマン伝播関数はせせこましくない fact2: 「もし「そのノーマルカーは名高いけれどそれは入庁しない」ということは嘘であるならばそのファインマン伝播関数は其れっぽくない」ということは確かである fact3: 「そのファインマン伝播関数は扮する」ということは本当なら「そのノーマルカーはせせこましくないか其れっぽいかどちらもだ」ということは成り立たない fact4: 「そのファインマン伝播関数は其れっぽいが入庁しない」ということは誤りだ fact5: もしも「そのファインマン伝播関数は名高い一方で入庁するということはない」ということは偽であるとするとそのノーマルカーはせせこましくない fact6: 「そのノーマルカーは名高いけれど燃え易くない」ということは誤りである fact7: そのノーマルカーは入庁しないかそれは其れっぽい fact8: 仮にあの構成生薬はえぐくないとしたら「「それは見透かすけれど届き易くない」ということは正しい」ということは誤りだ fact9: そのノーマルカーは上げ難いということはないかまたは其れっぽい fact10: もし何かは誂えない一方で争えるとすれば炎症でない fact11: もし仮に「なんらかのものは有髄線維であるかあるいは芽生え始めないかまたは両方だ」ということは成り立たないならばそれは扮する fact12: 「そのノーマルカーはせせこましいかあるいは其れっぽいかもしくは両方ともである」ということは確かである fact13: 「「そのノーマルカーは入庁するが其れっぽくない」ということは成り立たない」ということは誤りでない fact14: 「そのファインマン伝播関数は名高くて入庁する」ということは事実と異なる fact15: そのファインマン伝播関数は憎悪でないかまたは対潜である fact16: もし仮になにかは炎症でないとしたら「それは有髄線維であるかもしくはそれは芽生え始めないか両方ともである」ということは誤っている fact17: もし仮にこの山鳥が届き易いとすればそのファインマン伝播関数は誂えない一方で争える fact18: そのファインマン伝播関数は其れっぽいということはないかまたはそれは名高いかあるいは両方ともだ fact19: もし仮にそのファインマン伝播関数が入庁するとしたらそのノーマルカーはせせこましくない fact20: 「そのファインマン伝播関数は名高いが入庁するということはない」ということは成り立たない ; $hypothesis$ = 「そのノーマルカーはせせこましくないか其れっぽいかもしくは両方ともである」ということは誤りだ ; $proof$ = 
fact5 & fact20 -> 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. 事実5と事実20から、推論1: "そのノーマルカーはせせこましくない"が導かれる
2. 推論1から、仮説が否定される

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