「仮に「営業成績だということはなくて更に殴り返す」ということは事実と異なるなら御存じ無いということはない」ものはある
fact1: 仮に「なんらかの物は営業成績でない一方で殴り返す」ということは事実と異なるとしたら「それは御存じ無くない」ということは成り立つ fact2: もしもなにがしかのものは営業成績でないけれど殴り返すならそれは御存じ無いということはない fact3: 「そのアカデミックスキルが営業成績だしそれに殴り返す」ということは間違いであるならば「御存じ無くない」ということは確かだ fact4: もし「あるものは営業成績でないけれど殴り返す」ということは成り立たないとするとそれは御存じ無い fact5: 「加圧でないとすれば国民生活金融公庫でない」物はある fact6: 「あの価格引き上げは熱狂するし加えて規制・誘導する」ということは成り立たないならば営業成績でない fact7: そのアカデミックスキルが営業成績でないがそれが殴り返すとしたらそれは御存じ無くない fact8: 「もし仮に殴り返さないとしたら御存じ無くない」ものはある fact9: 「もし仮に営業成績であるとすると御存じ無くない」ものはある fact10: もし仮に「そのアカデミックスキルは営業成績であるし更に免疫である」ということは事実と異なるなら備蓄しない fact11: 「もし営業成績でなくて殴り返すとすると御存じ無くない」物はある fact12: 「そのアカデミックスキルは営業成績でないけれど殴り返す」ということは間違っているならそれは御存じ無い fact13: 「仮に「営業成績でないが殴り返す」ということは間違いだとしたら御存じ無い」物はある fact14: もし仮になにがしかのものが食い終わらない一方でそれが練習するとすれば見付け難くない
fact1 -> int1: もし仮に「そのアカデミックスキルは営業成績でないけどそれは殴り返す」ということは成り立たないとすると御存じ無くない; int1 -> hypothesis;
$facts$ = fact1: 仮に「なんらかの物は営業成績でない一方で殴り返す」ということは事実と異なるとしたら「それは御存じ無くない」ということは成り立つ fact2: もしもなにがしかのものは営業成績でないけれど殴り返すならそれは御存じ無いということはない fact3: 「そのアカデミックスキルが営業成績だしそれに殴り返す」ということは間違いであるならば「御存じ無くない」ということは確かだ fact4: もし「あるものは営業成績でないけれど殴り返す」ということは成り立たないとするとそれは御存じ無い fact5: 「加圧でないとすれば国民生活金融公庫でない」物はある fact6: 「あの価格引き上げは熱狂するし加えて規制・誘導する」ということは成り立たないならば営業成績でない fact7: そのアカデミックスキルが営業成績でないがそれが殴り返すとしたらそれは御存じ無くない fact8: 「もし仮に殴り返さないとしたら御存じ無くない」ものはある fact9: 「もし仮に営業成績であるとすると御存じ無くない」ものはある fact10: もし仮に「そのアカデミックスキルは営業成績であるし更に免疫である」ということは事実と異なるなら備蓄しない fact11: 「もし営業成績でなくて殴り返すとすると御存じ無くない」物はある fact12: 「そのアカデミックスキルは営業成績でないけれど殴り返す」ということは間違っているならそれは御存じ無い fact13: 「仮に「営業成績でないが殴り返す」ということは間違いだとしたら御存じ無い」物はある fact14: もし仮になにがしかのものが食い終わらない一方でそれが練習するとすれば見付け難くない ; $hypothesis$ = 「仮に「営業成績だということはなくて更に殴り返す」ということは事実と異なるなら御存じ無いということはない」ものはある ; $proof$ = 
fact1 -> int1: もし仮に「そのアカデミックスキルは営業成績でないけどそれは殴り返す」ということは成り立たないとすると御存じ無くない; int1 -> hypothesis; __PROVED__
事実1: 仮に「なんらかの物は営業成績でない一方で殴り返す」ということは事実と異なるとしたら「それは御存じ無くない」ということは成り立つ
事実2: もしもなにがしかのものは営業成績でないけれど殴り返すならそれは御存じ無いということはない
事実3: 「そのアカデミックスキルが営業成績だしそれに殴り返す」ということは間違いであるならば「御存じ無くない」ということは確かだ
事実4: もし「あるものは営業成績でないけれど殴り返す」ということは成り立たないとするとそれは御存じ無い
事実5: 「加圧でないとすれば国民生活金融公庫でない」物はある
事実6: 「あの価格引き上げは熱狂するし加えて規制・誘導する」ということは成り立たないならば営業成績でない
事実7: そのアカデミックスキルが営業成績でないがそれが殴り返すとしたらそれは御存じ無くない
事実8: 「もし仮に殴り返さないとしたら御存じ無くない」ものはある
事実9: 「もし仮に営業成績であるとすると御存じ無くない」ものはある
事実10: もし仮に「そのアカデミックスキルは営業成績であるし更に免疫である」ということは事実と異なるなら備蓄しない
事実11: 「もし営業成績でなくて殴り返すとすると御存じ無くない」物はある
事実12: 「そのアカデミックスキルは営業成績でないけれど殴り返す」ということは間違っているならそれは御存じ無い
事実13: 「仮に「営業成績でないが殴り返す」ということは間違いだとしたら御存じ無い」物はある
事実14: もし仮になにがしかのものが食い終わらない一方でそれが練習するとすれば見付け難くない

仮説: 「仮に「営業成績だということはなくて更に殴り返す」ということは事実と異なるなら御存じ無いということはない」ものはある
1. 事実1から、推論1: "もし仮に「そのアカデミックスキルは営業成績でないけどそれは殴り返す」ということは成り立たないとすると御存じ無くない"が導かれる
2. 推論1から、仮説が導かれる

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