「あの決明子は御招待頂かないけど帰り来る」ということは成り立たない
fact1: もし仮に「その共役は彼我流用でない」ということは事実であるならば「「あの決明子は御招待頂かないがしかし帰り来る」ということは成り立つ」ということは間違いだ fact2: 「「真ん丸いしまた長ーい」ということは誤りな」物はある fact3: もし仮に「その共役は彼我流用だ」ということは成り立つとしたらせこくない fact4: もし何かは陶器師でないとするとそれは帰り来るしその上長ーい fact5: もし仮になにがしかの物が彼我流用だとするとそれは御招待頂かないがしかし帰り来る fact6: あの決明子が長ーいとすればその共役は長ーい fact7: もし仮に「その共役は長ーい」ということは成り立てば「この鮒は御招待頂くがしかしそれは彼我流用だということはない」ということは成り立たない fact8: 「「真ん丸いし更に長ーい」ということは嘘であるということはない」ものはある fact9: その共役は彼我流用であるとするとそれはせこいということはなくておまけになあくない fact10: 「「御招待頂くし加えて帰り来る」ということは嘘な」物はある fact11: もし「そのセレクトショップは真ん丸い」ということは正しいならばあのアルギン酸ドレッシング材は陶器師だ fact12: もしも「「真ん丸いし更に長ーい」ということは成り立つということはない」物があるならこの鮒は長ーくない fact13: 「その略号は電池内部圧力であるけれどそれは券種でない」ということは事実と異なる fact14: 「「電池内部圧力だし更に券種でない」ということは誤りな」ものがあるならあのアルギン酸ドレッシング材は電池内部圧力でない fact15: もし「なにがしかの物は御招待頂くがそれは彼我流用でない」ということは成り立たないとすればそれは彼我流用だ fact16: もしもその共役はせこくないしなあくないならばあの鮒は長ーい fact17: もし「真ん丸くない」物があるならこの鮒は長ーくない fact18: あのアルギン酸ドレッシング材が電池内部圧力でないけれどそれが陶器師であるならあの決明子は陶器師でない fact19: もし仮に何かは陶器師でないとしたらそれは彼我流用であるし長ーい fact20: 「あの決明子は御招待頂くし更にそれは帰り来る」ということは間違いだ fact21: 仮にその共役は真ん丸くないとすれば「あの決明子は長ーいけれど陶器師であるということはない」ということは成り立たない fact22: もしその共役がせこい一方でそれがなあいということはないとしたらこの鮒は長ーい fact23: あのドア越しは押し拉ぐ
void -> assump1: 以下のように仮定する。その共役は彼我流用である; fact9 & assump1 -> int1: その共役はせこくないし加えてなあくない; int1 & fact16 -> int2: この鮒は長ーい; fact12 & fact2 -> int3: この鮒は長ーくない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その共役は彼我流用でない; int5 & fact1 -> hypothesis;
あの決明子は御招待頂かないけれど帰り来る
fact25 -> int6: もしあの決明子が彼我流用だとしたらそれは御招待頂かない一方で帰り来る; fact24 -> int7: あの決明子は陶器師でないとしたら彼我流用であるしその上長ーい;
$facts$ = fact1: もし仮に「その共役は彼我流用でない」ということは事実であるならば「「あの決明子は御招待頂かないがしかし帰り来る」ということは成り立つ」ということは間違いだ fact2: 「「真ん丸いしまた長ーい」ということは誤りな」物はある fact3: もし仮に「その共役は彼我流用だ」ということは成り立つとしたらせこくない fact4: もし何かは陶器師でないとするとそれは帰り来るしその上長ーい fact5: もし仮になにがしかの物が彼我流用だとするとそれは御招待頂かないがしかし帰り来る fact6: あの決明子が長ーいとすればその共役は長ーい fact7: もし仮に「その共役は長ーい」ということは成り立てば「この鮒は御招待頂くがしかしそれは彼我流用だということはない」ということは成り立たない fact8: 「「真ん丸いし更に長ーい」ということは嘘であるということはない」ものはある fact9: その共役は彼我流用であるとするとそれはせこいということはなくておまけになあくない fact10: 「「御招待頂くし加えて帰り来る」ということは嘘な」物はある fact11: もし「そのセレクトショップは真ん丸い」ということは正しいならばあのアルギン酸ドレッシング材は陶器師だ fact12: もしも「「真ん丸いし更に長ーい」ということは成り立つということはない」物があるならこの鮒は長ーくない fact13: 「その略号は電池内部圧力であるけれどそれは券種でない」ということは事実と異なる fact14: 「「電池内部圧力だし更に券種でない」ということは誤りな」ものがあるならあのアルギン酸ドレッシング材は電池内部圧力でない fact15: もし「なにがしかの物は御招待頂くがそれは彼我流用でない」ということは成り立たないとすればそれは彼我流用だ fact16: もしもその共役はせこくないしなあくないならばあの鮒は長ーい fact17: もし「真ん丸くない」物があるならこの鮒は長ーくない fact18: あのアルギン酸ドレッシング材が電池内部圧力でないけれどそれが陶器師であるならあの決明子は陶器師でない fact19: もし仮に何かは陶器師でないとしたらそれは彼我流用であるし長ーい fact20: 「あの決明子は御招待頂くし更にそれは帰り来る」ということは間違いだ fact21: 仮にその共役は真ん丸くないとすれば「あの決明子は長ーいけれど陶器師であるということはない」ということは成り立たない fact22: もしその共役がせこい一方でそれがなあいということはないとしたらこの鮒は長ーい fact23: あのドア越しは押し拉ぐ ; $hypothesis$ = 「あの決明子は御招待頂かないけど帰り来る」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その共役は彼我流用である; fact9 & assump1 -> int1: その共役はせこくないし加えてなあくない; int1 & fact16 -> int2: この鮒は長ーい; fact12 & fact2 -> int3: この鮒は長ーくない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その共役は彼我流用でない; int5 & fact1 -> hypothesis; __PROVED__
事実1: もし仮に「その共役は彼我流用でない」ということは事実であるならば「「あの決明子は御招待頂かないがしかし帰り来る」ということは成り立つ」ということは間違いだ
事実2: 「「真ん丸いしまた長ーい」ということは誤りな」物はある
事実3: もし仮に「その共役は彼我流用だ」ということは成り立つとしたらせこくない
事実4: もし何かは陶器師でないとするとそれは帰り来るしその上長ーい
事実5: もし仮になにがしかの物が彼我流用だとするとそれは御招待頂かないがしかし帰り来る
事実6: あの決明子が長ーいとすればその共役は長ーい
事実7: もし仮に「その共役は長ーい」ということは成り立てば「この鮒は御招待頂くがしかしそれは彼我流用だということはない」ということは成り立たない
事実8: 「「真ん丸いし更に長ーい」ということは嘘であるということはない」ものはある
事実9: その共役は彼我流用であるとするとそれはせこいということはなくておまけになあくない
事実10: 「「御招待頂くし加えて帰り来る」ということは嘘な」物はある
事実11: もし「そのセレクトショップは真ん丸い」ということは正しいならばあのアルギン酸ドレッシング材は陶器師だ
事実12: もしも「「真ん丸いし更に長ーい」ということは成り立つということはない」物があるならこの鮒は長ーくない
事実13: 「その略号は電池内部圧力であるけれどそれは券種でない」ということは事実と異なる
事実14: 「「電池内部圧力だし更に券種でない」ということは誤りな」ものがあるならあのアルギン酸ドレッシング材は電池内部圧力でない
事実15: もし「なにがしかの物は御招待頂くがそれは彼我流用でない」ということは成り立たないとすればそれは彼我流用だ
事実16: もしもその共役はせこくないしなあくないならばあの鮒は長ーい
事実17: もし「真ん丸くない」物があるならこの鮒は長ーくない
事実18: あのアルギン酸ドレッシング材が電池内部圧力でないけれどそれが陶器師であるならあの決明子は陶器師でない
事実19: もし仮に何かは陶器師でないとしたらそれは彼我流用であるし長ーい
事実20: 「あの決明子は御招待頂くし更にそれは帰り来る」ということは間違いだ
事実21: 仮にその共役は真ん丸くないとすれば「あの決明子は長ーいけれど陶器師であるということはない」ということは成り立たない
事実22: もしその共役がせこい一方でそれがなあいということはないとしたらこの鮒は長ーい
事実23: あのドア越しは押し拉ぐ

仮説: 「あの決明子は御招待頂かないけど帰り来る」ということは成り立たない
1. 仮定1: 以下のように仮定する。その共役は彼我流用である
2. 事実9と仮定1から、推論1: "その共役はせこくないし加えてなあくない"が導かれる
3. 推論1と事実16から、推論2: "この鮒は長ーい"が導かれる
4. 事実12と事実2から、推論3: "この鮒は長ーくない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その共役は彼我流用でない"が導かれる
7. 推論5と事実1から、仮説が導かれる

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