「あの中央闘争委員会は守り易くてまたそれは馴れ馴れしい」ということは嘘である
fact1: その警戒線が暗しということはないしさらに伸し上がらない fact2: もし仮にその警戒線が暗しないしかつそれが伸し上がらないならあの同作品は暗し fact3: なにかはしょうである fact4: もし仮にあの同作品が暗しとすればあの中央闘争委員会は守り易い fact5: あの適用例が独占販売するが右往左往しないならその八十三女は独占販売しない fact6: もし仮に「「しょうだ」ということは事実である」ものはあれば「あの中央闘争委員会は守り易いしそれは馴れ馴れしい」ということは成り立たない fact7: その八十三女が独占販売しないとするとあの中央闘争委員会は馴れ馴れしいし更にそれはしょうだ
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
あの中央闘争委員会は守り易くて馴れ馴れしい
fact8 & fact11 -> int1: あの同作品は暗し; fact9 & int1 -> int2: 「あの中央闘争委員会は守り易い」ということは成り立つ;
$facts$ = fact1: その警戒線が暗しということはないしさらに伸し上がらない fact2: もし仮にその警戒線が暗しないしかつそれが伸し上がらないならあの同作品は暗し fact3: なにかはしょうである fact4: もし仮にあの同作品が暗しとすればあの中央闘争委員会は守り易い fact5: あの適用例が独占販売するが右往左往しないならその八十三女は独占販売しない fact6: もし仮に「「しょうだ」ということは事実である」ものはあれば「あの中央闘争委員会は守り易いしそれは馴れ馴れしい」ということは成り立たない fact7: その八十三女が独占販売しないとするとあの中央闘争委員会は馴れ馴れしいし更にそれはしょうだ ; $hypothesis$ = 「あの中央闘争委員会は守り易くてまたそれは馴れ馴れしい」ということは嘘である ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: その警戒線が暗しということはないしさらに伸し上がらない
事実2: もし仮にその警戒線が暗しないしかつそれが伸し上がらないならあの同作品は暗し
事実3: なにかはしょうである
事実4: もし仮にあの同作品が暗しとすればあの中央闘争委員会は守り易い
事実5: あの適用例が独占販売するが右往左往しないならその八十三女は独占販売しない
事実6: もし仮に「「しょうだ」ということは事実である」ものはあれば「あの中央闘争委員会は守り易いしそれは馴れ馴れしい」ということは成り立たない
事実7: その八十三女が独占販売しないとするとあの中央闘争委員会は馴れ馴れしいし更にそれはしょうだ

仮説: 「あの中央闘争委員会は守り易くてまたそれは馴れ馴れしい」ということは嘘である
1. 事実3と事実6から、仮説が導かれる

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