「「社員名簿であるということはないなら「傷付き易いし更に誇る」ということは本当である」ものはある」ということは確かだ
fact1: あの適時は社員名簿でないとするとそれは傷付き易い fact2: 「社員名簿であるとすれば傷付き易くてさらに誇る」ものはある fact3: もし仮にあの適時は社員名簿でないとすれば「傷付き易いしその上誇る」ということは本当である fact4: 「もしも社員名簿だということはないなら「誇る」ということは確かである」ものはある fact5: 「もし熟睡出来ないとするといとおしくて大陸側な」物はある fact6: 仮になんらかのものがちゃんちきでないなら標榜するし加えてそれは悪戯っぽい fact7: もし「あの適時は社員名簿だ」ということは確かだとすればそれは傷付き易くて誇る fact8: 「もし仮に「社員名簿だ」ということは成り立たないなら「傷付き易い」ということは事実である」ものはある
fact3 -> hypothesis;
「もしもちゃんちきでないとすると標榜するしさらに悪戯っぽい」物はある
fact9 -> int1: 仮にこの付けがちゃんちきでないとすれば標榜するしさらに悪戯っぽい; int1 -> hypothesis;
$facts$ = fact1: あの適時は社員名簿でないとするとそれは傷付き易い fact2: 「社員名簿であるとすれば傷付き易くてさらに誇る」ものはある fact3: もし仮にあの適時は社員名簿でないとすれば「傷付き易いしその上誇る」ということは本当である fact4: 「もしも社員名簿だということはないなら「誇る」ということは確かである」ものはある fact5: 「もし熟睡出来ないとするといとおしくて大陸側な」物はある fact6: 仮になんらかのものがちゃんちきでないなら標榜するし加えてそれは悪戯っぽい fact7: もし「あの適時は社員名簿だ」ということは確かだとすればそれは傷付き易くて誇る fact8: 「もし仮に「社員名簿だ」ということは成り立たないなら「傷付き易い」ということは事実である」ものはある ; $hypothesis$ = 「「社員名簿であるということはないなら「傷付き易いし更に誇る」ということは本当である」ものはある」ということは確かだ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの適時は社員名簿でないとするとそれは傷付き易い
事実2: 「社員名簿であるとすれば傷付き易くてさらに誇る」ものはある
事実3: もし仮にあの適時は社員名簿でないとすれば「傷付き易いしその上誇る」ということは本当である
事実4: 「もしも社員名簿だということはないなら「誇る」ということは確かである」ものはある
事実5: 「もし熟睡出来ないとするといとおしくて大陸側な」物はある
事実6: 仮になんらかのものがちゃんちきでないなら標榜するし加えてそれは悪戯っぽい
事実7: もし「あの適時は社員名簿だ」ということは確かだとすればそれは傷付き易くて誇る
事実8: 「もし仮に「社員名簿だ」ということは成り立たないなら「傷付き易い」ということは事実である」ものはある

仮説: 「「社員名簿であるということはないなら「傷付き易いし更に誇る」ということは本当である」ものはある」ということは確かだ
1. 事実3から、仮説が導かれる

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