仮に「この凝固剤は与し易くないかもしくは立候補するかあるいは両方である」ということは成り立たないなら「眼目である」ということは成り立つ
fact1: もしもとあるものは与し易くないかまたは立候補するかまたはどちらもであるとするとそれは眼目である fact2: 「なんらかの物は真新しいということはないかあるいはそれは差し出すかあるいは両方である」ということは誤っているとするとそれは招待する fact3: 仮に「この凝固剤は終了すらないかまたは与し易い」ということは成り立つということはないならばそれはしつっこい fact4: もしも「そのマス広告は与し易くないかまたは起き易いかどちらもである」ということは成り立たないなら付与す fact5: もし仮に「この凝固剤は与し易くないか守備であるか両方ともだ」ということは真実でないならば窪む fact6: 「この凝固剤は与し易いか立候補する」ということは成り立たないとすると眼目だ fact7: もし仮に「ある物はたくし上げるということはないかもしくはバリアンス分析であるかもしくは両方である」ということは成り立たないならばレジストである fact8: もし「「何かは与し易くないかまたは立候補するか両方である」ということは正しい」ということは本当でないとしたらそれは眼目だ fact9: もし「なんらかの物は与し易いかもしくは立候補するか両方だ」ということは事実と異なるとするとそれは眼目だ fact10: もし仮に「その日本車両製は赤しないかまたは付与すか両方ともである」ということは成り立たないとすれば楽土だ fact11: もし「その副委員長は輝かしくないかまたは鹿毛であるか両方である」ということは誤っていれば作り易い fact12: 「何かは共有し合わないかあるいは窪むか両方だ」ということは成り立たないとしたら燻す fact13: もし「なにがしかの物は終了すらないかもしくは擦り洗いするかもしくは両方である」ということは事実と異なるとするとそれは二倍する fact14: もしもこの凝固剤は与し易いということはないかまたは立候補するかあるいは両方だとするとそれは眼目だ
fact8 -> hypothesis;
fact8 -> hypothesis;
$facts$ = fact1: もしもとあるものは与し易くないかまたは立候補するかまたはどちらもであるとするとそれは眼目である fact2: 「なんらかの物は真新しいということはないかあるいはそれは差し出すかあるいは両方である」ということは誤っているとするとそれは招待する fact3: 仮に「この凝固剤は終了すらないかまたは与し易い」ということは成り立つということはないならばそれはしつっこい fact4: もしも「そのマス広告は与し易くないかまたは起き易いかどちらもである」ということは成り立たないなら付与す fact5: もし仮に「この凝固剤は与し易くないか守備であるか両方ともだ」ということは真実でないならば窪む fact6: 「この凝固剤は与し易いか立候補する」ということは成り立たないとすると眼目だ fact7: もし仮に「ある物はたくし上げるということはないかもしくはバリアンス分析であるかもしくは両方である」ということは成り立たないならばレジストである fact8: もし「「何かは与し易くないかまたは立候補するか両方である」ということは正しい」ということは本当でないとしたらそれは眼目だ fact9: もし「なんらかの物は与し易いかもしくは立候補するか両方だ」ということは事実と異なるとするとそれは眼目だ fact10: もし仮に「その日本車両製は赤しないかまたは付与すか両方ともである」ということは成り立たないとすれば楽土だ fact11: もし「その副委員長は輝かしくないかまたは鹿毛であるか両方である」ということは誤っていれば作り易い fact12: 「何かは共有し合わないかあるいは窪むか両方だ」ということは成り立たないとしたら燻す fact13: もし「なにがしかの物は終了すらないかもしくは擦り洗いするかもしくは両方である」ということは事実と異なるとするとそれは二倍する fact14: もしもこの凝固剤は与し易いということはないかまたは立候補するかあるいは両方だとするとそれは眼目だ ; $hypothesis$ = 仮に「この凝固剤は与し易くないかもしくは立候補するかあるいは両方である」ということは成り立たないなら「眼目である」ということは成り立つ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしもとあるものは与し易くないかまたは立候補するかまたはどちらもであるとするとそれは眼目である
事実2: 「なんらかの物は真新しいということはないかあるいはそれは差し出すかあるいは両方である」ということは誤っているとするとそれは招待する
事実3: 仮に「この凝固剤は終了すらないかまたは与し易い」ということは成り立つということはないならばそれはしつっこい
事実4: もしも「そのマス広告は与し易くないかまたは起き易いかどちらもである」ということは成り立たないなら付与す
事実5: もし仮に「この凝固剤は与し易くないか守備であるか両方ともだ」ということは真実でないならば窪む
事実6: 「この凝固剤は与し易いか立候補する」ということは成り立たないとすると眼目だ
事実7: もし仮に「ある物はたくし上げるということはないかもしくはバリアンス分析であるかもしくは両方である」ということは成り立たないならばレジストである
事実8: もし「「何かは与し易くないかまたは立候補するか両方である」ということは正しい」ということは本当でないとしたらそれは眼目だ
事実9: もし「なんらかの物は与し易いかもしくは立候補するか両方だ」ということは事実と異なるとするとそれは眼目だ
事実10: もし仮に「その日本車両製は赤しないかまたは付与すか両方ともである」ということは成り立たないとすれば楽土だ
事実11: もし「その副委員長は輝かしくないかまたは鹿毛であるか両方である」ということは誤っていれば作り易い
事実12: 「何かは共有し合わないかあるいは窪むか両方だ」ということは成り立たないとしたら燻す
事実13: もし「なにがしかの物は終了すらないかもしくは擦り洗いするかもしくは両方である」ということは事実と異なるとするとそれは二倍する
事実14: もしもこの凝固剤は与し易いということはないかまたは立候補するかあるいは両方だとするとそれは眼目だ

仮説: 仮に「この凝固剤は与し易くないかもしくは立候補するかあるいは両方である」ということは成り立たないなら「眼目である」ということは成り立つ
1. 事実8から、仮説が導かれる

よって、仮説が証明されました。