「もしも「「白々しかないか現われ難くないかあるいは両方ともだ」ということは成り立つ」ということは誤りであるとしたら封でない」ものはある
fact1: 「もし「白々しかないか現われ難くないかまたは両方だ」ということは成り立たないとすれば封である」ものはある fact2: 「仮に「白々しかないかまたは現われ難い」ということは誤っているとすれば封でない」物はある fact3: 「仮に「按ぜないか破滅しないかもしくは両方である」ということは成り立たないならばフラッシュしない」ものはある fact4: 「「白々しいかあるいは現われ難いということはない」ということは間違いであるならば封でない」ものはある fact5: もし仮に「その床飾りは白々しかないか現われ難いということはないかまたは両方である」ということは成り立たないとしたら封である fact6: 「もし仮に「回収可能価額でないかあるいは完全雇用しない」ということは嘘だとしたら前屈しない」ものはある fact7: もしその床飾りが白々しかないかもしくはそれが現われ難くないとしたら封であるということはない fact8: 「その床飾りはか細くないかあるいは参照出来ないかあるいは両方ともだ」ということは成り立たないならそれは現われ難くない fact9: 「その床飾りは愛くるしくないかもしくは現われ難くないかまたは両方だ」ということは成り立たないならば「それは完全雇用しない」ということは間違っていない fact10: もし仮に「何かは古臭くないか風物詩でないかまたは両方だ」ということは成り立たないならばそれは大乗論でない fact11: 仮に「その床飾りは白々しかないかもしくは現われ難くないかまたは両方だ」ということは間違いなら封でない fact12: 「もしも「優しないかあるいは味気なくないかあるいはどちらもだ」ということは偽であるならば発信端末だということはない」ものはある fact13: 「何らかの物は聞こえ難くないかまたは竪芯でないかどちらもだ」ということは真実でないならそれは運行するということはない fact14: もし仮に「あの介護サービスは貸し渋らないかあるいは二クラスでない」ということは嘘であるとすると上告でない fact15: もし「その床飾りは白々しかないかまたは現われ難い」ということは嘘であるとしたらそれは封でない fact16: もしも「その床飾りは白々しいかあるいは現われ難くない」ということは成り立たないとしたら封でない fact17: 「もしも「木らしくないか物凄ーくない」ということは事実と異なるとすると捨てない」ものはある fact18: 「もしも「語り出さないかまたは編み方ポイントでないかもしくはどちらもだ」ということは事実でないなら二クラスでない」ものはある fact19: 「白々しいということはないか現われ難くないか両方ともならば封でない」物はある fact20: もしも「その床飾りは按ぜないかまたは白々しかないかもしくは両方ともだ」ということは間違っているとしたら眠り続けない
fact11 -> hypothesis;
「もしも「聞こえ難いということはないかもしくは竪芯でないかもしくは両方である」ということは間違っているなら運行しない」ものはある
fact21 -> int1: 「この制限納税義務者は聞こえ難くないかあるいは竪芯でない」ということは成り立たないとしたら運行するということはない; int1 -> hypothesis;
$facts$ = fact1: 「もし「白々しかないか現われ難くないかまたは両方だ」ということは成り立たないとすれば封である」ものはある fact2: 「仮に「白々しかないかまたは現われ難い」ということは誤っているとすれば封でない」物はある fact3: 「仮に「按ぜないか破滅しないかもしくは両方である」ということは成り立たないならばフラッシュしない」ものはある fact4: 「「白々しいかあるいは現われ難いということはない」ということは間違いであるならば封でない」ものはある fact5: もし仮に「その床飾りは白々しかないか現われ難いということはないかまたは両方である」ということは成り立たないとしたら封である fact6: 「もし仮に「回収可能価額でないかあるいは完全雇用しない」ということは嘘だとしたら前屈しない」ものはある fact7: もしその床飾りが白々しかないかもしくはそれが現われ難くないとしたら封であるということはない fact8: 「その床飾りはか細くないかあるいは参照出来ないかあるいは両方ともだ」ということは成り立たないならそれは現われ難くない fact9: 「その床飾りは愛くるしくないかもしくは現われ難くないかまたは両方だ」ということは成り立たないならば「それは完全雇用しない」ということは間違っていない fact10: もし仮に「何かは古臭くないか風物詩でないかまたは両方だ」ということは成り立たないならばそれは大乗論でない fact11: 仮に「その床飾りは白々しかないかもしくは現われ難くないかまたは両方だ」ということは間違いなら封でない fact12: 「もしも「優しないかあるいは味気なくないかあるいはどちらもだ」ということは偽であるならば発信端末だということはない」ものはある fact13: 「何らかの物は聞こえ難くないかまたは竪芯でないかどちらもだ」ということは真実でないならそれは運行するということはない fact14: もし仮に「あの介護サービスは貸し渋らないかあるいは二クラスでない」ということは嘘であるとすると上告でない fact15: もし「その床飾りは白々しかないかまたは現われ難い」ということは嘘であるとしたらそれは封でない fact16: もしも「その床飾りは白々しいかあるいは現われ難くない」ということは成り立たないとしたら封でない fact17: 「もしも「木らしくないか物凄ーくない」ということは事実と異なるとすると捨てない」ものはある fact18: 「もしも「語り出さないかまたは編み方ポイントでないかもしくはどちらもだ」ということは事実でないなら二クラスでない」ものはある fact19: 「白々しいということはないか現われ難くないか両方ともならば封でない」物はある fact20: もしも「その床飾りは按ぜないかまたは白々しかないかもしくは両方ともだ」ということは間違っているとしたら眠り続けない ; $hypothesis$ = 「もしも「「白々しかないか現われ難くないかあるいは両方ともだ」ということは成り立つ」ということは誤りであるとしたら封でない」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「もし「白々しかないか現われ難くないかまたは両方だ」ということは成り立たないとすれば封である」ものはある
事実2: 「仮に「白々しかないかまたは現われ難い」ということは誤っているとすれば封でない」物はある
事実3: 「仮に「按ぜないか破滅しないかもしくは両方である」ということは成り立たないならばフラッシュしない」ものはある
事実4: 「「白々しいかあるいは現われ難いということはない」ということは間違いであるならば封でない」ものはある
事実5: もし仮に「その床飾りは白々しかないか現われ難いということはないかまたは両方である」ということは成り立たないとしたら封である
事実6: 「もし仮に「回収可能価額でないかあるいは完全雇用しない」ということは嘘だとしたら前屈しない」ものはある
事実7: もしその床飾りが白々しかないかもしくはそれが現われ難くないとしたら封であるということはない
事実8: 「その床飾りはか細くないかあるいは参照出来ないかあるいは両方ともだ」ということは成り立たないならそれは現われ難くない
事実9: 「その床飾りは愛くるしくないかもしくは現われ難くないかまたは両方だ」ということは成り立たないならば「それは完全雇用しない」ということは間違っていない
事実10: もし仮に「何かは古臭くないか風物詩でないかまたは両方だ」ということは成り立たないならばそれは大乗論でない
事実11: 仮に「その床飾りは白々しかないかもしくは現われ難くないかまたは両方だ」ということは間違いなら封でない
事実12: 「もしも「優しないかあるいは味気なくないかあるいはどちらもだ」ということは偽であるならば発信端末だということはない」ものはある
事実13: 「何らかの物は聞こえ難くないかまたは竪芯でないかどちらもだ」ということは真実でないならそれは運行するということはない
事実14: もし仮に「あの介護サービスは貸し渋らないかあるいは二クラスでない」ということは嘘であるとすると上告でない
事実15: もし「その床飾りは白々しかないかまたは現われ難い」ということは嘘であるとしたらそれは封でない
事実16: もしも「その床飾りは白々しいかあるいは現われ難くない」ということは成り立たないとしたら封でない
事実17: 「もしも「木らしくないか物凄ーくない」ということは事実と異なるとすると捨てない」ものはある
事実18: 「もしも「語り出さないかまたは編み方ポイントでないかもしくはどちらもだ」ということは事実でないなら二クラスでない」ものはある
事実19: 「白々しいということはないか現われ難くないか両方ともならば封でない」物はある
事実20: もしも「その床飾りは按ぜないかまたは白々しかないかもしくは両方ともだ」ということは間違っているとしたら眠り続けない

仮説: 「もしも「「白々しかないか現われ難くないかあるいは両方ともだ」ということは成り立つ」ということは誤りであるとしたら封でない」ものはある
1. 事実11から、仮説が導かれる

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