このＧＫは比例するということはないかあるいはえぐいということはないかあるいは両方ともだ
fact1: 仮にあの勤務地限定社員がねちっこいとするとこのＧＫは比例しないかまたはそれはえぐいということはないかもしくは両方だ fact2: もしとある物はコールドショック発現系でないならば「それはねちっこいしそれにＣＨＯだ」ということは成り立たない fact3: あの勤務地限定社員はねちっこい fact4: このＧＫは比例しないかまたはえぐいか両方ともである fact5: もしあの勤務地限定社員がねちっこいとしたらこのＧＫは比例するかまたはそれはえぐくないかもしくはどちらもだ fact6: このＧＫは比例するかあるいはえぐくない fact7: あの勤務地限定社員は比例する
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
この理法はえぐい
fact8 -> int1: 仮にこのＧＫはコールドショック発現系でないとしたら「それはねちっこいしおまけにＣＨＯだ」ということは真実でない;
$facts$ = fact1: 仮にあの勤務地限定社員がねちっこいとするとこのＧＫは比例しないかまたはそれはえぐいということはないかもしくは両方だ fact2: もしとある物はコールドショック発現系でないならば「それはねちっこいしそれにＣＨＯだ」ということは成り立たない fact3: あの勤務地限定社員はねちっこい fact4: このＧＫは比例しないかまたはえぐいか両方ともである fact5: もしあの勤務地限定社員がねちっこいとしたらこのＧＫは比例するかまたはそれはえぐくないかもしくはどちらもだ fact6: このＧＫは比例するかあるいはえぐくない fact7: あの勤務地限定社員は比例する ; $hypothesis$ = このＧＫは比例するということはないかあるいはえぐいということはないかあるいは両方ともだ ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: 仮にあの勤務地限定社員がねちっこいとするとこのＧＫは比例しないかまたはそれはえぐいということはないかもしくは両方だ
事実2: もしとある物はコールドショック発現系でないならば「それはねちっこいしそれにＣＨＯだ」ということは成り立たない
事実3: あの勤務地限定社員はねちっこい
事実4: このＧＫは比例しないかまたはえぐいか両方ともである
事実5: もしあの勤務地限定社員がねちっこいとしたらこのＧＫは比例するかまたはそれはえぐくないかもしくはどちらもだ
事実6: このＧＫは比例するかあるいはえぐくない
事実7: あの勤務地限定社員は比例する

仮説: このＧＫは比例するということはないかあるいはえぐいということはないかあるいは両方ともだ
1. 事実1と事実3から、仮説が導かれる

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