「もしも「エロくないし逆療法だ」ということは嘘だとすると出難いということはない」ものはある
fact1: もしあの人ＨＥＶは喜ばしかないとすると「それはエロい」ということは成り立たない fact2: 「もし仮に「エロいしかつ逆療法である」ということは嘘なら出難くない」物はある fact3: 「なんらかの物は一巡しないけど腹立たしい」ということは成り立たないとすれば心優しくない fact4: 仮に「あの少数民族は逆療法でない一方でそれは書式である」ということは成り立たないならば特保だ fact5: 「かったるくないとしたら家族サイズでない」物はある fact6: もし「「あの人ＨＥＶはエロくないがしかしそれは逆療法だ」ということは間違っている」ということは本当だとすればそれは出難くない fact7: 「あの人ＨＥＶは庁内でないけどそれは肛門側である」ということは確かであるということはないならそれは出難い fact8: もし仮に「あの人ＨＥＶは出難くない一方で被収容者達だ」ということは成り立たないとしたら「それはトピック纏めだ」ということは成り立つ fact9: もしも「あの人ＨＥＶは懐かしいということはないけれど行儀良い」ということは間違っているとすればそれは御座り下さる
fact6 -> hypothesis;
もしも「あの人ＨＥＶは一巡するということはない一方でそれは腹立たしい」ということは偽であるとしたら心優しいということはない
fact10 -> hypothesis;
$facts$ = fact1: もしあの人ＨＥＶは喜ばしかないとすると「それはエロい」ということは成り立たない fact2: 「もし仮に「エロいしかつ逆療法である」ということは嘘なら出難くない」物はある fact3: 「なんらかの物は一巡しないけど腹立たしい」ということは成り立たないとすれば心優しくない fact4: 仮に「あの少数民族は逆療法でない一方でそれは書式である」ということは成り立たないならば特保だ fact5: 「かったるくないとしたら家族サイズでない」物はある fact6: もし「「あの人ＨＥＶはエロくないがしかしそれは逆療法だ」ということは間違っている」ということは本当だとすればそれは出難くない fact7: 「あの人ＨＥＶは庁内でないけどそれは肛門側である」ということは確かであるということはないならそれは出難い fact8: もし仮に「あの人ＨＥＶは出難くない一方で被収容者達だ」ということは成り立たないとしたら「それはトピック纏めだ」ということは成り立つ fact9: もしも「あの人ＨＥＶは懐かしいということはないけれど行儀良い」ということは間違っているとすればそれは御座り下さる ; $hypothesis$ = 「もしも「エロくないし逆療法だ」ということは嘘だとすると出難いということはない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしあの人ＨＥＶは喜ばしかないとすると「それはエロい」ということは成り立たない
事実2: 「もし仮に「エロいしかつ逆療法である」ということは嘘なら出難くない」物はある
事実3: 「なんらかの物は一巡しないけど腹立たしい」ということは成り立たないとすれば心優しくない
事実4: 仮に「あの少数民族は逆療法でない一方でそれは書式である」ということは成り立たないならば特保だ
事実5: 「かったるくないとしたら家族サイズでない」物はある
事実6: もし「「あの人ＨＥＶはエロくないがしかしそれは逆療法だ」ということは間違っている」ということは本当だとすればそれは出難くない
事実7: 「あの人ＨＥＶは庁内でないけどそれは肛門側である」ということは確かであるということはないならそれは出難い
事実8: もし仮に「あの人ＨＥＶは出難くない一方で被収容者達だ」ということは成り立たないとしたら「それはトピック纏めだ」ということは成り立つ
事実9: もしも「あの人ＨＥＶは懐かしいということはないけれど行儀良い」ということは間違っているとすればそれは御座り下さる

仮説: 「もしも「エロくないし逆療法だ」ということは嘘だとすると出難いということはない」ものはある
1. 事実6から、仮説が導かれる

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