その中流階級は管理し易くないがしかし本規定だ
fact1: なにがしかの物が同罪でないとすれば生き抜けなくてまた創作性でない fact2: 仮に何らかのものが会話しないならばそれは色めくしそれは同罪でない fact3: あの原子力産業はしどけないかそれは類聚であるか両方ともである fact4: 「もしこの片状黒鉛は創作性でないならば「その中流階級は管理し易くないがしかし本規定である」ということは成り立たない」ということは確かだ fact5: もしこの広域行政機構がしどけないとすれば会話するか見苦しいということはない fact6: その中流階級は本規定である fact7: その中流階級は管理し易くないし創作性でない fact8: その中流階級は創作性でない
fact7 -> int1: 「その中流階級は管理し易くない」ということは事実と異なるということはない; int1 & fact6 -> hypothesis;
「その中流階級は管理し易いということはないけれど本規定である」ということは成り立たない
fact9 -> int2: 「仮にこの片状黒鉛が同罪でないとしたらこの片状黒鉛は生き抜けなくてしかもそれは創作性でない」ということは成り立つ; fact13 -> int3: もしもこの片状黒鉛が会話しないとすれば色めくが同罪でない;
$facts$ = fact1: なにがしかの物が同罪でないとすれば生き抜けなくてまた創作性でない fact2: 仮に何らかのものが会話しないならばそれは色めくしそれは同罪でない fact3: あの原子力産業はしどけないかそれは類聚であるか両方ともである fact4: 「もしこの片状黒鉛は創作性でないならば「その中流階級は管理し易くないがしかし本規定である」ということは成り立たない」ということは確かだ fact5: もしこの広域行政機構がしどけないとすれば会話するか見苦しいということはない fact6: その中流階級は本規定である fact7: その中流階級は管理し易くないし創作性でない fact8: その中流階級は創作性でない ; $hypothesis$ = その中流階級は管理し易くないがしかし本規定だ ; $proof$ = 
fact7 -> int1: 「その中流階級は管理し易くない」ということは事実と異なるということはない; int1 & fact6 -> hypothesis; __PROVED__
事実1: なにがしかの物が同罪でないとすれば生き抜けなくてまた創作性でない
事実2: 仮に何らかのものが会話しないならばそれは色めくしそれは同罪でない
事実3: あの原子力産業はしどけないかそれは類聚であるか両方ともである
事実4: 「もしこの片状黒鉛は創作性でないならば「その中流階級は管理し易くないがしかし本規定である」ということは成り立たない」ということは確かだ
事実5: もしこの広域行政機構がしどけないとすれば会話するか見苦しいということはない
事実6: その中流階級は本規定である
事実7: その中流階級は管理し易くないし創作性でない
事実8: その中流階級は創作性でない

仮説: その中流階級は管理し易くないがしかし本規定だ
1. 事実7から、推論1: "「その中流階級は管理し易くない」ということは事実と異なるということはない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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