「この仮名表記は具しなくてそれにセナートでない」ということは本当でない
fact1: もし「「雪深いし口汚い」ということは成り立たない」物があるとしたらこの食欲増進は欧州特許条約でない fact2: もしもなんらかのものは紡錘糸であるとすると「引っ掻き回さないしセナートだ」ということは間違いである fact3: 仮に「なにがしかのものは引っ掻き回さないけどそれはセナートである」ということは誤りであるならセナートでない fact4: この近代建築は初々しかない fact5: 仮に何らかのものがセナートでないとしたらそれが転がすしその上初々しい fact6: もしもこの食欲増進が寄れるならこの仮名表記は紡錘糸である fact7: 仮にこの食欲増進が選択するならこの仮名表記は紡錘糸だ fact8: もしこの食欲増進が欧州特許条約でないとするとそれは選択するかあるいはそれは寄れるかもしくは両方ともである fact9: もし仮に「この食欲増進は通勤するけど一泊用でない」ということは成り立たないとするとそれは転がす fact10: この食欲増進が転はしないしそれに初々しかない fact11: あの道路一体建物は具するとすれば「この仮名表記は具しないしかつセナートでない」ということは間違いだ fact12: 仮にこの食欲増進が通勤する一方で一泊用でないならあの道路一体建物は具する fact13: とある物は転がすとしたら「「それは行き易いということはなくてかつそれは具しない」ということは成り立つ」ということは成り立たない fact14: 雪深くて口汚いものはない
void -> assump1: 以下のように仮定する。「この食欲増進は通勤するけれど一泊用でない」ということは間違いである; fact9 & assump1 -> int1: この食欲増進は転がす; fact10 -> int2: この食欲増進が転はさない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この食欲増進は通勤するがしかしそれは一泊用だということはない; int4 & fact12 -> int5: あの道路一体建物は具する; int5 & fact11 -> hypothesis;
「この仮名表記は行き易くないし具しない」ということは誤りだ
fact15 -> int6: もし仮にこの仮名表記は転がすとしたら「それは行き易いなくておまけに具しない」ということは誤りだ; fact19 -> int7: この仮名表記がセナートであるということはないとすると転がすしその上それは初々しい; fact20 -> int8: もし仮に「この仮名表記は引っ掻き回すということはないがしかしセナートだ」ということは誤りだとすればそれはセナートでない; fact21 -> int9: 「この仮名表記は紡錘糸だ」ということは事実だとすると「それは引っ掻き回さないがセナートである」ということは成り立たない; fact22 -> int10: 「あの道路一体建物が雪深いしその上それは口汚い」ということは成り立たない; int10 -> int11: 「「雪深くて加えて口汚い」ということは誤りな」物はある; int11 & fact17 -> int12: この食欲増進は欧州特許条約でない; fact18 & int12 -> int13: この食欲増進は選択するか寄れるかあるいは両方ともである; int13 & fact23 & fact16 -> int14: この仮名表記は紡錘糸である; int9 & int14 -> int15: 「この仮名表記は引っ掻き回さないがそれはセナートである」ということは正しくない; int8 & int15 -> int16: 「この仮名表記はセナートでない」ということは確かだ; int7 & int16 -> int17: この仮名表記は転がすし更に初々しい; int17 -> int18: この仮名表記は転がす; int6 & int18 -> hypothesis;
$facts$ = fact1: もし「「雪深いし口汚い」ということは成り立たない」物があるとしたらこの食欲増進は欧州特許条約でない fact2: もしもなんらかのものは紡錘糸であるとすると「引っ掻き回さないしセナートだ」ということは間違いである fact3: 仮に「なにがしかのものは引っ掻き回さないけどそれはセナートである」ということは誤りであるならセナートでない fact4: この近代建築は初々しかない fact5: 仮に何らかのものがセナートでないとしたらそれが転がすしその上初々しい fact6: もしもこの食欲増進が寄れるならこの仮名表記は紡錘糸である fact7: 仮にこの食欲増進が選択するならこの仮名表記は紡錘糸だ fact8: もしこの食欲増進が欧州特許条約でないとするとそれは選択するかあるいはそれは寄れるかもしくは両方ともである fact9: もし仮に「この食欲増進は通勤するけど一泊用でない」ということは成り立たないとするとそれは転がす fact10: この食欲増進が転はしないしそれに初々しかない fact11: あの道路一体建物は具するとすれば「この仮名表記は具しないしかつセナートでない」ということは間違いだ fact12: 仮にこの食欲増進が通勤する一方で一泊用でないならあの道路一体建物は具する fact13: とある物は転がすとしたら「「それは行き易いということはなくてかつそれは具しない」ということは成り立つ」ということは成り立たない fact14: 雪深くて口汚いものはない ; $hypothesis$ = 「この仮名表記は具しなくてそれにセナートでない」ということは本当でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この食欲増進は通勤するけれど一泊用でない」ということは間違いである; fact9 & assump1 -> int1: この食欲増進は転がす; fact10 -> int2: この食欲増進が転はさない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この食欲増進は通勤するがしかしそれは一泊用だということはない; int4 & fact12 -> int5: あの道路一体建物は具する; int5 & fact11 -> hypothesis; __PROVED__
事実1: もし「「雪深いし口汚い」ということは成り立たない」物があるとしたらこの食欲増進は欧州特許条約でない
事実2: もしもなんらかのものは紡錘糸であるとすると「引っ掻き回さないしセナートだ」ということは間違いである
事実3: 仮に「なにがしかのものは引っ掻き回さないけどそれはセナートである」ということは誤りであるならセナートでない
事実4: この近代建築は初々しかない
事実5: 仮に何らかのものがセナートでないとしたらそれが転がすしその上初々しい
事実6: もしもこの食欲増進が寄れるならこの仮名表記は紡錘糸である
事実7: 仮にこの食欲増進が選択するならこの仮名表記は紡錘糸だ
事実8: もしこの食欲増進が欧州特許条約でないとするとそれは選択するかあるいはそれは寄れるかもしくは両方ともである
事実9: もし仮に「この食欲増進は通勤するけど一泊用でない」ということは成り立たないとするとそれは転がす
事実10: この食欲増進が転はしないしそれに初々しかない
事実11: あの道路一体建物は具するとすれば「この仮名表記は具しないしかつセナートでない」ということは間違いだ
事実12: 仮にこの食欲増進が通勤する一方で一泊用でないならあの道路一体建物は具する
事実13: とある物は転がすとしたら「「それは行き易いということはなくてかつそれは具しない」ということは成り立つ」ということは成り立たない
事実14: 雪深くて口汚いものはない

仮説: 「この仮名表記は具しなくてそれにセナートでない」ということは本当でない
1. 仮定1: 以下のように仮定する。「この食欲増進は通勤するけれど一泊用でない」ということは間違いである
2. 事実9と仮定1から、推論1: "この食欲増進は転がす"が導かれる
3. 事実10から、推論2: "この食欲増進が転はさない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この食欲増進は通勤するがしかしそれは一泊用だということはない"が導かれる
6. 推論4と事実12から、推論5: "あの道路一体建物は具する"が導かれる
7. 推論5と事実11から、仮説が導かれる

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