あの土産品は吸い出すかカーソルだということはない
fact1: その御絵書きは離心値でない fact2: あの土産品は吸い出すかカーソルである fact3: もし「あの土産品は吸い出すかカーソルである」ということは成り立たないとすればあの御絵書きは残り易い fact4: 仮にあの付け足しは叔母でないなら拘留しない fact5: 仮にその御絵書きは公告するとすると「「「あの土産品はぼろくないし残り易くない」ということは確かである」ということは成り立たない」ということは真実だ fact6: もしもその御絵書きは離心値でないなら「それは残り易くない」ということは成り立つ fact7: すべては鮴であるがしかしイギリス国民でない fact8: 「その御絵書きは残り易いかあるいは吸い出すかあるいは両方である」ということは間違っているとすればあの土産品はカーソルである fact9: 「その御絵書きは征討する」ということは成り立つ fact10: 「あの土産品は物凄まじい」ということは成り立つ fact11: もしも「あの土産品は吸い出すかあるいはカーソルでないかもしくは両方だ」ということは成り立たないならばその御絵書きは残り易い fact12: あの土産品は残り易い fact13: 「その御絵書きはカーソルでない」ということは成り立つ fact14: この御櫃は吸い出す fact15: あの土産品はカーソルだ fact16: もし「あの土産品は離心値であるかまたは残り易いかもしくは両方ともだ」ということは偽だとすればあの御絵書きはカーソルである fact17: あの作品はカーソルである fact18: あの土産品は妻側でないなら離心値でない fact19: もしあるものはイギリス国民でないとしたら「公告するし更にそれは国境地帯だ」ということは確かだ fact20: 「あの土産品は離心値であるかあるいはそれは残り易い」ということは嘘ならその御絵書きは吸い出す
void -> assump1: 以下のように仮定する。「あの土産品は吸い出すかあるいはカーソルでない」ということは嘘である; fact11 & assump1 -> int1: 「その御絵書きは残り易くない」ということは成り立たない; fact6 & fact1 -> int2: 「その御絵書きは残り易くない」ということは事実だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「あの土産品は吸い出すかまたはそれはカーソルでない」ということは間違いだ
fact22 -> int4: もしこの親水基がイギリス国民だということはないとしたら公告するしかつそれは国境地帯だ; fact21 -> int5: このアイスブルーは鮴だがしかしイギリス国民でない; int5 -> int6: このアイスブルーはイギリス国民であるということはない; int6 -> int7: あらゆる物はイギリス国民でない; int7 -> int8: この親水基はイギリス国民でない; int4 & int8 -> int9: この親水基は公告するしまたそれは国境地帯である; int9 -> int10: すべてのものは公告するしかつ国境地帯である; int10 -> int11: その御絵書きは公告するしかつ国境地帯だ; int11 -> int12: その御絵書きは公告する; int12 & fact23 -> int13: 「あの土産品はぼろいということはないし更に残り易くない」ということは間違いである;
$facts$ = fact1: その御絵書きは離心値でない fact2: あの土産品は吸い出すかカーソルである fact3: もし「あの土産品は吸い出すかカーソルである」ということは成り立たないとすればあの御絵書きは残り易い fact4: 仮にあの付け足しは叔母でないなら拘留しない fact5: 仮にその御絵書きは公告するとすると「「「あの土産品はぼろくないし残り易くない」ということは確かである」ということは成り立たない」ということは真実だ fact6: もしもその御絵書きは離心値でないなら「それは残り易くない」ということは成り立つ fact7: すべては鮴であるがしかしイギリス国民でない fact8: 「その御絵書きは残り易いかあるいは吸い出すかあるいは両方である」ということは間違っているとすればあの土産品はカーソルである fact9: 「その御絵書きは征討する」ということは成り立つ fact10: 「あの土産品は物凄まじい」ということは成り立つ fact11: もしも「あの土産品は吸い出すかあるいはカーソルでないかもしくは両方だ」ということは成り立たないならばその御絵書きは残り易い fact12: あの土産品は残り易い fact13: 「その御絵書きはカーソルでない」ということは成り立つ fact14: この御櫃は吸い出す fact15: あの土産品はカーソルだ fact16: もし「あの土産品は離心値であるかまたは残り易いかもしくは両方ともだ」ということは偽だとすればあの御絵書きはカーソルである fact17: あの作品はカーソルである fact18: あの土産品は妻側でないなら離心値でない fact19: もしあるものはイギリス国民でないとしたら「公告するし更にそれは国境地帯だ」ということは確かだ fact20: 「あの土産品は離心値であるかあるいはそれは残り易い」ということは嘘ならその御絵書きは吸い出す ; $hypothesis$ = あの土産品は吸い出すかカーソルだということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの土産品は吸い出すかあるいはカーソルでない」ということは嘘である; fact11 & assump1 -> int1: 「その御絵書きは残り易くない」ということは成り立たない; fact6 & fact1 -> int2: 「その御絵書きは残り易くない」ということは事実だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その御絵書きは離心値でない
事実2: あの土産品は吸い出すかカーソルである
事実3: もし「あの土産品は吸い出すかカーソルである」ということは成り立たないとすればあの御絵書きは残り易い
事実4: 仮にあの付け足しは叔母でないなら拘留しない
事実5: 仮にその御絵書きは公告するとすると「「「あの土産品はぼろくないし残り易くない」ということは確かである」ということは成り立たない」ということは真実だ
事実6: もしもその御絵書きは離心値でないなら「それは残り易くない」ということは成り立つ
事実7: すべては鮴であるがしかしイギリス国民でない
事実8: 「その御絵書きは残り易いかあるいは吸い出すかあるいは両方である」ということは間違っているとすればあの土産品はカーソルである
事実9: 「その御絵書きは征討する」ということは成り立つ
事実10: 「あの土産品は物凄まじい」ということは成り立つ
事実11: もしも「あの土産品は吸い出すかあるいはカーソルでないかもしくは両方だ」ということは成り立たないならばその御絵書きは残り易い
事実12: あの土産品は残り易い
事実13: 「その御絵書きはカーソルでない」ということは成り立つ
事実14: この御櫃は吸い出す
事実15: あの土産品はカーソルだ
事実16: もし「あの土産品は離心値であるかまたは残り易いかもしくは両方ともだ」ということは偽だとすればあの御絵書きはカーソルである
事実17: あの作品はカーソルである
事実18: あの土産品は妻側でないなら離心値でない
事実19: もしあるものはイギリス国民でないとしたら「公告するし更にそれは国境地帯だ」ということは確かだ
事実20: 「あの土産品は離心値であるかあるいはそれは残り易い」ということは嘘ならその御絵書きは吸い出す

仮説: あの土産品は吸い出すかカーソルだということはない
1. 仮定1: 以下のように仮定する。「あの土産品は吸い出すかあるいはカーソルでない」ということは嘘である
2. 事実11と仮定1から、推論1: "「その御絵書きは残り易くない」ということは成り立たない"が導かれる
3. 事実6と事実1から、推論2: "「その御絵書きは残り易くない」ということは事実だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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