「「仮に賄えないとすると六十年安保でないし売り上げ実績でない」ものはある」ということは嘘である
fact1: 執念深くないものは判別し難くないし選択し易いということはない fact2: 「もしあの競合関係が賄えるということはないならばあの競合関係は六十年安保でなくてその上それは売り上げ実績でない」ということは正しい fact3: もしも「このむず痒さは五文字でない」ということは本当であるとすると売り上げ実績であるということはない fact4: 「仮に大帯姫廟でないとすると上げ為さるということはない」ものはある fact5: 「仮に「あの競合関係は擦り替えない」ということは本当であるとしたらあの競合関係は六十年安保でない」ということは成り立つ fact6: 「もし仮に会談するということはないとすればリベンジメールであるということはなくて乗算でない」物はある fact7: 「仮にこよなくないとするとせせこましいということはない」ものはある
fact2 -> hypothesis;
「もしも執念深くないならば判別し難いということはないしさらに選択し易くない」物はある
fact8 -> int1: もしあの掛けは執念深いということはないなら「それは判別し難くないしかつ選択し易いということはない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 執念深くないものは判別し難くないし選択し易いということはない fact2: 「もしあの競合関係が賄えるということはないならばあの競合関係は六十年安保でなくてその上それは売り上げ実績でない」ということは正しい fact3: もしも「このむず痒さは五文字でない」ということは本当であるとすると売り上げ実績であるということはない fact4: 「仮に大帯姫廟でないとすると上げ為さるということはない」ものはある fact5: 「仮に「あの競合関係は擦り替えない」ということは本当であるとしたらあの競合関係は六十年安保でない」ということは成り立つ fact6: 「もし仮に会談するということはないとすればリベンジメールであるということはなくて乗算でない」物はある fact7: 「仮にこよなくないとするとせせこましいということはない」ものはある ; $hypothesis$ = 「「仮に賄えないとすると六十年安保でないし売り上げ実績でない」ものはある」ということは嘘である ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 執念深くないものは判別し難くないし選択し易いということはない
事実2: 「もしあの競合関係が賄えるということはないならばあの競合関係は六十年安保でなくてその上それは売り上げ実績でない」ということは正しい
事実3: もしも「このむず痒さは五文字でない」ということは本当であるとすると売り上げ実績であるということはない
事実4: 「仮に大帯姫廟でないとすると上げ為さるということはない」ものはある
事実5: 「仮に「あの競合関係は擦り替えない」ということは本当であるとしたらあの競合関係は六十年安保でない」ということは成り立つ
事実6: 「もし仮に会談するということはないとすればリベンジメールであるということはなくて乗算でない」物はある
事実7: 「仮にこよなくないとするとせせこましいということはない」ものはある

仮説: 「「仮に賄えないとすると六十年安保でないし売り上げ実績でない」ものはある」ということは嘘である
1. 事実2から、仮説が否定される

よって、仮説が否定されました。