「「ぎごちないかあるいは仕上がらないかまたは両方だ」ということは偽であるとすれば「吹き易くない」ということは本当である」物はある
fact1: 「仮に絶叫するかもしくはカメラでないかどちらもなら花崗岩体でない」ものはある fact2: もしも「あの小瓶はぎごちないかまたは仕上がらないかあるいは両方である」ということは真実でないとすればそれは吹き易い fact3: 仮に「あるものは落胆振りであるか惨めったらしくないか両方ともだ」ということは嘘であるなら麗し fact4: 「もし仮に「ＪＡＮＴ側であるか鬱陶しかないかあるいは両方ともである」ということは成り立たないとしたら御戻る」ものはある fact5: 「もしぎごちないかあるいは仕上がらないとしたら吹き易くない」物はある fact6: あの教主は劣るかあるいはそれはぎごちなくないとしたら事実確認でない fact7: 「もし仮に「発生し易いかあるいは割り引く」ということは成り立たないとすると倒産会社でない」物はある fact8: もしも「とある物はぎごちないかまたは仕上がらない」ということは嘘だとすると吹き易くない fact9: 「「引っ越すかあるいは面白みである」ということは事実でないならば変化し易くない」ものはある fact10: なんらかの物が青白いかもしくはそれは形骸化しないかあるいは両方であるとすると聡くない fact11: あの小瓶はぎごちないかもしくは仕上がらないかあるいは両方ともだとしたらそれは吹き易くない fact12: 「もしも「調印であるかあるいは働き難くないか両方だ」ということは成り立つということはないとすれば開眼しない」ものはある fact13: 「「もし仮に「滞り易いかまたは痛めない」ということは嘘であるならば兼任出来る」ものはある」ということは正しい fact14: もし仮に「ある物はぎごちないか仕上がるかあるいは両方ともである」ということは誤っているとしたらそれは吹き易くない fact15: もしもある物はぎごちないかあるいは仕上がらないとしたらそれは吹き易くない fact16: 「「あるものは独立行政法人であるかもしくは吹き易いということはない」ということは成り立つ」ということは偽であるとすれば「染み出すということはない」ということは真実だ
fact8 -> int1: もしも「あの小瓶はぎごちないかもしくは仕上がらないかもしくはどちらもである」ということは誤りだとしたら吹き易くない; int1 -> hypothesis;
fact8 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
「「あの一割負担は独立行政法人であるかまたは吹き易くない」ということは本当である」ということは本当でないなら染み出すということはない
fact17 -> hypothesis;
$facts$ = fact1: 「仮に絶叫するかもしくはカメラでないかどちらもなら花崗岩体でない」ものはある fact2: もしも「あの小瓶はぎごちないかまたは仕上がらないかあるいは両方である」ということは真実でないとすればそれは吹き易い fact3: 仮に「あるものは落胆振りであるか惨めったらしくないか両方ともだ」ということは嘘であるなら麗し fact4: 「もし仮に「ＪＡＮＴ側であるか鬱陶しかないかあるいは両方ともである」ということは成り立たないとしたら御戻る」ものはある fact5: 「もしぎごちないかあるいは仕上がらないとしたら吹き易くない」物はある fact6: あの教主は劣るかあるいはそれはぎごちなくないとしたら事実確認でない fact7: 「もし仮に「発生し易いかあるいは割り引く」ということは成り立たないとすると倒産会社でない」物はある fact8: もしも「とある物はぎごちないかまたは仕上がらない」ということは嘘だとすると吹き易くない fact9: 「「引っ越すかあるいは面白みである」ということは事実でないならば変化し易くない」ものはある fact10: なんらかの物が青白いかもしくはそれは形骸化しないかあるいは両方であるとすると聡くない fact11: あの小瓶はぎごちないかもしくは仕上がらないかあるいは両方ともだとしたらそれは吹き易くない fact12: 「もしも「調印であるかあるいは働き難くないか両方だ」ということは成り立つということはないとすれば開眼しない」ものはある fact13: 「「もし仮に「滞り易いかまたは痛めない」ということは嘘であるならば兼任出来る」ものはある」ということは正しい fact14: もし仮に「ある物はぎごちないか仕上がるかあるいは両方ともである」ということは誤っているとしたらそれは吹き易くない fact15: もしもある物はぎごちないかあるいは仕上がらないとしたらそれは吹き易くない fact16: 「「あるものは独立行政法人であるかもしくは吹き易いということはない」ということは成り立つ」ということは偽であるとすれば「染み出すということはない」ということは真実だ ; $hypothesis$ = 「「ぎごちないかあるいは仕上がらないかまたは両方だ」ということは偽であるとすれば「吹き易くない」ということは本当である」物はある ; $proof$ = 
fact8 -> int1: もしも「あの小瓶はぎごちないかもしくは仕上がらないかもしくはどちらもである」ということは誤りだとしたら吹き易くない; int1 -> hypothesis; __PROVED__
事実1: 「仮に絶叫するかもしくはカメラでないかどちらもなら花崗岩体でない」ものはある
事実2: もしも「あの小瓶はぎごちないかまたは仕上がらないかあるいは両方である」ということは真実でないとすればそれは吹き易い
事実3: 仮に「あるものは落胆振りであるか惨めったらしくないか両方ともだ」ということは嘘であるなら麗し
事実4: 「もし仮に「ＪＡＮＴ側であるか鬱陶しかないかあるいは両方ともである」ということは成り立たないとしたら御戻る」ものはある
事実5: 「もしぎごちないかあるいは仕上がらないとしたら吹き易くない」物はある
事実6: あの教主は劣るかあるいはそれはぎごちなくないとしたら事実確認でない
事実7: 「もし仮に「発生し易いかあるいは割り引く」ということは成り立たないとすると倒産会社でない」物はある
事実8: もしも「とある物はぎごちないかまたは仕上がらない」ということは嘘だとすると吹き易くない
事実9: 「「引っ越すかあるいは面白みである」ということは事実でないならば変化し易くない」ものはある
事実10: なんらかの物が青白いかもしくはそれは形骸化しないかあるいは両方であるとすると聡くない
事実11: あの小瓶はぎごちないかもしくは仕上がらないかあるいは両方ともだとしたらそれは吹き易くない
事実12: 「もしも「調印であるかあるいは働き難くないか両方だ」ということは成り立つということはないとすれば開眼しない」ものはある
事実13: 「「もし仮に「滞り易いかまたは痛めない」ということは嘘であるならば兼任出来る」ものはある」ということは正しい
事実14: もし仮に「ある物はぎごちないか仕上がるかあるいは両方ともである」ということは誤っているとしたらそれは吹き易くない
事実15: もしもある物はぎごちないかあるいは仕上がらないとしたらそれは吹き易くない
事実16: 「「あるものは独立行政法人であるかもしくは吹き易いということはない」ということは成り立つ」ということは偽であるとすれば「染み出すということはない」ということは真実だ

仮説: 「「ぎごちないかあるいは仕上がらないかまたは両方だ」ということは偽であるとすれば「吹き易くない」ということは本当である」物はある
1. 事実8から、推論1: "もしも「あの小瓶はぎごちないかもしくは仕上がらないかもしくはどちらもである」ということは誤りだとしたら吹き易くない"が導かれる
2. 推論1から、仮説が導かれる

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