「もしも「楽しない」ということは確かならば「「御尋ね下さるしそれにうじうじしない」ということは誤りでない」ということは成り立たない」ものはある
fact1: あるものは楽しないなら「それは御尋ね下さるがうじうじしない」ということは成り立たない fact2: もしもなんらかのものは余儀無くないならば「それは最高水準でＧＭ‐ＣＳＦでない」ということは間違っている fact3: とあるものが第一容疑者だということはないならば言葉通りであるがタイプしない fact4: もしあの目状が振り撒かないとすると成功し易いし更に御尋ね下さらない fact5: もしなにかは五円玉でないとすると「それは懐こくてかつ食物アレルゲンだ」ということは成り立たない fact6: もしもなにがしかの物は謁見でないなら「それは御預かり致すしまた等しい」ということは嘘である fact7: 「長ったらしいとしたら「処理し切れるけれど増加し続けない」ということは誤りである」ものはある fact8: もし仮に「あの目状は三十四Ｌだということはない」ということは確かであるとすると「判別し難い一方で発し始めない」ということは成り立つということはない fact9: 「もしも弾き易くないとしたら住み良くて参照頂くということはない」ものはある fact10: 仮にあの目状は楽しならば「それは御尋ね下さるしさらにうじうじしない」ということは誤っている fact11: もし仮にその熱安定性が楽しないとすればそれは五円玉だ一方で誇らしくない fact12: もしとあるものは楽しないとしたら「それは御尋ね下さるし更にうじうじする」ということは誤っている fact13: 仮にあの目状が悲しないとすれば覚え難くてさらに親しない fact14: 仮にあの目状が取れ易くないとするとそれは美々しいがしかし果てし無くない fact15: 楽しない物は御尋ね下さる一方でうじうじしない fact16: 「仮に楽しとしたら「御尋ね下さるがうじうじしない」ということは誤りな」物はある fact17: あの目状が楽しないならばそれは御尋ね下さるしそれはうじうじするということはない fact18: 「あの壕は織り上げない」ということは本当であるとしたら「うじうじするし美々しい」ということは偽である fact19: 「もしもリビング・ルームでないとすれば「謁見であるし第一容疑者でない」ということは成り立たない」物はある fact20: もしあの施行地は御尋ね下さるとすれば「それは貫入するしそれは御預かり致さない」ということは嘘だ
fact1 -> 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$ = 
fact1 -> int1: あの目状は楽しないとすると「それは御尋ね下さる一方でうじうじしない」ということは事実と異なる; int1 -> hypothesis; __PROVED__
事実1: あるものは楽しないなら「それは御尋ね下さるがうじうじしない」ということは成り立たない
事実2: もしもなんらかのものは余儀無くないならば「それは最高水準でＧＭ‐ＣＳＦでない」ということは間違っている
事実3: とあるものが第一容疑者だということはないならば言葉通りであるがタイプしない
事実4: もしあの目状が振り撒かないとすると成功し易いし更に御尋ね下さらない
事実5: もしなにかは五円玉でないとすると「それは懐こくてかつ食物アレルゲンだ」ということは成り立たない
事実6: もしもなにがしかの物は謁見でないなら「それは御預かり致すしまた等しい」ということは嘘である
事実7: 「長ったらしいとしたら「処理し切れるけれど増加し続けない」ということは誤りである」ものはある
事実8: もし仮に「あの目状は三十四Ｌだということはない」ということは確かであるとすると「判別し難い一方で発し始めない」ということは成り立つということはない
事実9: 「もしも弾き易くないとしたら住み良くて参照頂くということはない」ものはある
事実10: 仮にあの目状は楽しならば「それは御尋ね下さるしさらにうじうじしない」ということは誤っている
事実11: もし仮にその熱安定性が楽しないとすればそれは五円玉だ一方で誇らしくない
事実12: もしとあるものは楽しないとしたら「それは御尋ね下さるし更にうじうじする」ということは誤っている
事実13: 仮にあの目状が悲しないとすれば覚え難くてさらに親しない
事実14: 仮にあの目状が取れ易くないとするとそれは美々しいがしかし果てし無くない
事実15: 楽しない物は御尋ね下さる一方でうじうじしない
事実16: 「仮に楽しとしたら「御尋ね下さるがうじうじしない」ということは誤りな」物はある
事実17: あの目状が楽しないならばそれは御尋ね下さるしそれはうじうじするということはない
事実18: 「あの壕は織り上げない」ということは本当であるとしたら「うじうじするし美々しい」ということは偽である
事実19: 「もしもリビング・ルームでないとすれば「謁見であるし第一容疑者でない」ということは成り立たない」物はある
事実20: もしあの施行地は御尋ね下さるとすれば「それは貫入するしそれは御預かり致さない」ということは嘘だ

仮説: 「もしも「楽しない」ということは確かならば「「御尋ね下さるしそれにうじうじしない」ということは誤りでない」ということは成り立たない」ものはある
1. 事実1から、推論1: "あの目状は楽しないとすると「それは御尋ね下さる一方でうじうじしない」ということは事実と異なる"が導かれる
2. 推論1から、仮説が導かれる

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