「もし仮に堪え兼ねるとすればボーイ・ミーツ・ガールであるしおまけに結合し易くない」ものはある
fact1: 「その再輸出はこそばゆいし加えて督促する」ということは成り立つということはない fact2: そのファルシは保冷しない fact3: その再輸出がうつ伏せでないとすればボーイ・ミーツ・ガールで御相談下さる fact4: その再輸出は督促しない fact5: その再輸出は御相談下さる fact6: 「こそばゆいとするとうつ伏せだ一方で督促しない」物はある fact7: その再輸出はうつ伏せであるということはない fact8: もしその再輸出は督促するとしたら「それは堪え兼ねらない」ということは偽でない fact9: 仮に何らかの物が堪え兼ねらないとすればそれがボーイ・ミーツ・ガールだしそれは結合し易い fact10: もし仮にその再輸出がこそばゆいしそれが督促すれば結合し易くない fact11: こそばゆい物が督促しないとしたら結合し易くない fact12: 「その再輸出はこそばゆいがしかし督促しない」ということは誤りであるとしたら堪え兼ねる fact13: 仮にこそばゆい物は督促するとすると「それは結合し易くない」ということは嘘でない fact14: もしその再輸出はうつ伏せでないとしたら御相談下さる fact15: もしそのファルシが保冷しないならそれは出入りし易くてそれは腑甲斐無い fact16: 「堪え兼ねるなら結合し易いということはない」ものはある fact17: 「もし仮に堪え兼ねるならボーイ・ミーツ・ガールである」物はある fact18: 「もしも堪え兼ねるとしたらボーイ・ミーツ・ガールであるししかも結合し易い」物はある fact19: 仮になんらかの物が放尿しないならそれはうつ伏せでかつ御相談下さる fact20: もし「その再輸出はこそばゆい一方で督促するということはない」ということは間違いだとすれば堪え兼ねらない fact21: もしもあるものが出入りし易いならば放尿しない
void -> assump2: 以下のように仮定する。「その再輸出はこそばゆいがしかしそれは督促しない」ということは嘘である; fact20 & assump2 -> int1: その再輸出は堪え兼ねるということはない; void -> assump1: 以下のように仮定する。その再輸出は堪え兼ねる; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その再輸出はこそばゆいが督促しない; fact11 -> int4: もし仮に「その再輸出はこそばゆいけど督促するということはない」ということは成り立つとしたらそれは結合し易いということはない; int3 & int4 -> int5: 「その再輸出は結合し易くない」ということは成り立つ; fact3 & fact7 -> int6: その再輸出はボーイ・ミーツ・ガールだしさらに御相談下さる; int6 -> int7: その再輸出はボーイ・ミーツ・ガールである; int5 & int7 -> int8: その再輸出はボーイ・ミーツ・ガールだけれど結合し易くない; [assump1] & int8 -> int9: その再輸出が堪え兼ねるとするとボーイ・ミーツ・ガールであるけれど結合し易くない; int9 -> hypothesis;
そのファルシはボーイ・ミーツ・ガールだ
fact22 -> int10: そのファルシは堪え兼ねるということはないならば「ボーイ・ミーツ・ガールだし加えてそれは結合し易い」ということは真実だ; fact24 -> int11: 仮にそのファルシが放尿しないならうつ伏せだし更に御相談下さる; fact26 -> int12: もしそのファルシが出入りし易いならば放尿するということはない; fact23 & fact25 -> int13: そのファルシは出入りし易いし更に腑甲斐無い; int13 -> int14: 「そのファルシは出入りし易い」ということは成り立つ; int12 & int14 -> int15: そのファルシは放尿しない; int11 & int15 -> int16: そのファルシはうつ伏せであるしまた御相談下さる;
$facts$ = fact1: 「その再輸出はこそばゆいし加えて督促する」ということは成り立つということはない fact2: そのファルシは保冷しない fact3: その再輸出がうつ伏せでないとすればボーイ・ミーツ・ガールで御相談下さる fact4: その再輸出は督促しない fact5: その再輸出は御相談下さる fact6: 「こそばゆいとするとうつ伏せだ一方で督促しない」物はある fact7: その再輸出はうつ伏せであるということはない fact8: もしその再輸出は督促するとしたら「それは堪え兼ねらない」ということは偽でない fact9: 仮に何らかの物が堪え兼ねらないとすればそれがボーイ・ミーツ・ガールだしそれは結合し易い fact10: もし仮にその再輸出がこそばゆいしそれが督促すれば結合し易くない fact11: こそばゆい物が督促しないとしたら結合し易くない fact12: 「その再輸出はこそばゆいがしかし督促しない」ということは誤りであるとしたら堪え兼ねる fact13: 仮にこそばゆい物は督促するとすると「それは結合し易くない」ということは嘘でない fact14: もしその再輸出はうつ伏せでないとしたら御相談下さる fact15: もしそのファルシが保冷しないならそれは出入りし易くてそれは腑甲斐無い fact16: 「堪え兼ねるなら結合し易いということはない」ものはある fact17: 「もし仮に堪え兼ねるならボーイ・ミーツ・ガールである」物はある fact18: 「もしも堪え兼ねるとしたらボーイ・ミーツ・ガールであるししかも結合し易い」物はある fact19: 仮になんらかの物が放尿しないならそれはうつ伏せでかつ御相談下さる fact20: もし「その再輸出はこそばゆい一方で督促するということはない」ということは間違いだとすれば堪え兼ねらない fact21: もしもあるものが出入りし易いならば放尿しない ; $hypothesis$ = 「もし仮に堪え兼ねるとすればボーイ・ミーツ・ガールであるしおまけに結合し易くない」ものはある ; $proof$ = 
void -> assump2: 以下のように仮定する。「その再輸出はこそばゆいがしかしそれは督促しない」ということは嘘である; fact20 & assump2 -> int1: その再輸出は堪え兼ねるということはない; void -> assump1: 以下のように仮定する。その再輸出は堪え兼ねる; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その再輸出はこそばゆいが督促しない; fact11 -> int4: もし仮に「その再輸出はこそばゆいけど督促するということはない」ということは成り立つとしたらそれは結合し易いということはない; int3 & int4 -> int5: 「その再輸出は結合し易くない」ということは成り立つ; fact3 & fact7 -> int6: その再輸出はボーイ・ミーツ・ガールだしさらに御相談下さる; int6 -> int7: その再輸出はボーイ・ミーツ・ガールである; int5 & int7 -> int8: その再輸出はボーイ・ミーツ・ガールだけれど結合し易くない; [assump1] & int8 -> int9: その再輸出が堪え兼ねるとするとボーイ・ミーツ・ガールであるけれど結合し易くない; int9 -> hypothesis; __PROVED__
事実1: 「その再輸出はこそばゆいし加えて督促する」ということは成り立つということはない
事実2: そのファルシは保冷しない
事実3: その再輸出がうつ伏せでないとすればボーイ・ミーツ・ガールで御相談下さる
事実4: その再輸出は督促しない
事実5: その再輸出は御相談下さる
事実6: 「こそばゆいとするとうつ伏せだ一方で督促しない」物はある
事実7: その再輸出はうつ伏せであるということはない
事実8: もしその再輸出は督促するとしたら「それは堪え兼ねらない」ということは偽でない
事実9: 仮に何らかの物が堪え兼ねらないとすればそれがボーイ・ミーツ・ガールだしそれは結合し易い
事実10: もし仮にその再輸出がこそばゆいしそれが督促すれば結合し易くない
事実11: こそばゆい物が督促しないとしたら結合し易くない
事実12: 「その再輸出はこそばゆいがしかし督促しない」ということは誤りであるとしたら堪え兼ねる
事実13: 仮にこそばゆい物は督促するとすると「それは結合し易くない」ということは嘘でない
事実14: もしその再輸出はうつ伏せでないとしたら御相談下さる
事実15: もしそのファルシが保冷しないならそれは出入りし易くてそれは腑甲斐無い
事実16: 「堪え兼ねるなら結合し易いということはない」ものはある
事実17: 「もし仮に堪え兼ねるならボーイ・ミーツ・ガールである」物はある
事実18: 「もしも堪え兼ねるとしたらボーイ・ミーツ・ガールであるししかも結合し易い」物はある
事実19: 仮になんらかの物が放尿しないならそれはうつ伏せでかつ御相談下さる
事実20: もし「その再輸出はこそばゆい一方で督促するということはない」ということは間違いだとすれば堪え兼ねらない
事実21: もしもあるものが出入りし易いならば放尿しない

仮説: 「もし仮に堪え兼ねるとすればボーイ・ミーツ・ガールであるしおまけに結合し易くない」ものはある
1. 仮定2: 以下のように仮定する。「その再輸出はこそばゆいがしかしそれは督促しない」ということは嘘である
2. 事実20と仮定2から、推論1: "その再輸出は堪え兼ねるということはない"が導かれる
3. 仮定1: 以下のように仮定する。その再輸出は堪え兼ねる
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "その再輸出はこそばゆいが督促しない"が導かれる
6. 事実11から、推論4: "もし仮に「その再輸出はこそばゆいけど督促するということはない」ということは成り立つとしたらそれは結合し易いということはない"が導かれる
7. 推論3と推論4から、推論5: "「その再輸出は結合し易くない」ということは成り立つ"が導かれる
8. 事実3と事実7から、推論6: "その再輸出はボーイ・ミーツ・ガールだしさらに御相談下さる"が導かれる
9. 推論6から、推論7: "その再輸出はボーイ・ミーツ・ガールである"が導かれる
10. 推論5と推論7から、推論8: "その再輸出はボーイ・ミーツ・ガールだけれど結合し易くない"が導かれる
11. [仮定1]と推論8から、推論9: "その再輸出が堪え兼ねるとするとボーイ・ミーツ・ガールであるけれど結合し易くない"が導かれる
12. 推論9から、仮説が導かれる

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