「仮に食み出るとすると転販するということはないし起き易い」物はある
fact1: 「もしもカード化するとするとパイロット達である」物はある fact2: 「このブラジャーは転販するということはない一方で起き易い」ということは事実と異なるとしたらそれは食み出る fact3: 「真白いならば狙われ易い」ものはある fact4: 「このブラジャーは置き易いしそれは起き易い」ということは確かでない fact5: 仮になにがしかの物は嵌頓しないとすれば「食み出ないし更にそれは取っ付き難い」ということは成り立たない fact6: 「このブラジャーは再販制度だ」ということは成り立つなら御困らない fact7: もし「このブラジャーは転販しないがそれは起き易い」ということは事実と異なるならそれは食み出ない
void -> assump1: 以下のように仮定する。「このブラジャーは転販しない一方で起き易い」ということは間違いだ; fact7 & assump1 -> int1: このブラジャーは食み出ない; void -> assump2: 以下のように仮定する。このブラジャーは食み出る; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このブラジャーは転販しないけれどそれは起き易い; [assump2] & int3 -> int4: もしもこのブラジャーが食み出るとしたらそれは転販するということはないし更にそれは起き易い; int4 -> hypothesis;
「あの川崎宿は食み出ないけれどそれは取っ付き難い」ということは事実と異なる
fact8 -> int5: もしもあの川崎宿は嵌頓しないとすれば「それは食み出ないしそれは取っ付き難い」ということは間違いだ;
$facts$ = fact1: 「もしもカード化するとするとパイロット達である」物はある fact2: 「このブラジャーは転販するということはない一方で起き易い」ということは事実と異なるとしたらそれは食み出る fact3: 「真白いならば狙われ易い」ものはある fact4: 「このブラジャーは置き易いしそれは起き易い」ということは確かでない fact5: 仮になにがしかの物は嵌頓しないとすれば「食み出ないし更にそれは取っ付き難い」ということは成り立たない fact6: 「このブラジャーは再販制度だ」ということは成り立つなら御困らない fact7: もし「このブラジャーは転販しないがそれは起き易い」ということは事実と異なるならそれは食み出ない ; $hypothesis$ = 「仮に食み出るとすると転販するということはないし起き易い」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。「このブラジャーは転販しない一方で起き易い」ということは間違いだ; fact7 & assump1 -> int1: このブラジャーは食み出ない; void -> assump2: 以下のように仮定する。このブラジャーは食み出る; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このブラジャーは転販しないけれどそれは起き易い; [assump2] & int3 -> int4: もしもこのブラジャーが食み出るとしたらそれは転販するということはないし更にそれは起き易い; int4 -> hypothesis; __PROVED__
事実1: 「もしもカード化するとするとパイロット達である」物はある
事実2: 「このブラジャーは転販するということはない一方で起き易い」ということは事実と異なるとしたらそれは食み出る
事実3: 「真白いならば狙われ易い」ものはある
事実4: 「このブラジャーは置き易いしそれは起き易い」ということは確かでない
事実5: 仮になにがしかの物は嵌頓しないとすれば「食み出ないし更にそれは取っ付き難い」ということは成り立たない
事実6: 「このブラジャーは再販制度だ」ということは成り立つなら御困らない
事実7: もし「このブラジャーは転販しないがそれは起き易い」ということは事実と異なるならそれは食み出ない

仮説: 「仮に食み出るとすると転販するということはないし起き易い」物はある
1. 仮定1: 以下のように仮定する。「このブラジャーは転販しない一方で起き易い」ということは間違いだ
2. 事実7と仮定1から、推論1: "このブラジャーは食み出ない"が導かれる
3. 仮定2: 以下のように仮定する。このブラジャーは食み出る
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "このブラジャーは転販しないけれどそれは起き易い"が導かれる
6. [仮定2]と推論3から、推論4: "もしもこのブラジャーが食み出るとしたらそれは転販するということはないし更にそれは起き易い"が導かれる
7. 推論4から、仮説が導かれる

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