この投稿記事エリアは内積でない
fact1: 「この投稿記事エリアは制定し得ない」ということは成り立つ fact2: もし仮にその学位論文は離乳しないけど生産設備能力だとしたら「この投稿記事エリアは内積でない」ということは確かである fact3: あの葬儀場は離乳しない fact4: その学位論文は離乳するということはない一方で生産設備能力だ fact5: 類型毎はコンピューティングシステムであるということはないし更に汗臭くない fact6: 仮にその学位論文がコンピューティングシステムでないしその上それは汗臭くないならば「この投稿記事エリアは内積である」ということは正しい fact7: その学位論文は生産設備能力である fact8: もし仮に何かは支配出来ればそれは類型毎だ
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
この投稿記事エリアは内積だ
fact10 -> int1: もし仮にその学位論文は類型毎であるとすればコンピューティングシステムでないし汗臭くない; fact9 -> int2: 仮にその学位論文が支配出来るとしたら類型毎である;
$facts$ = fact1: 「この投稿記事エリアは制定し得ない」ということは成り立つ fact2: もし仮にその学位論文は離乳しないけど生産設備能力だとしたら「この投稿記事エリアは内積でない」ということは確かである fact3: あの葬儀場は離乳しない fact4: その学位論文は離乳するということはない一方で生産設備能力だ fact5: 類型毎はコンピューティングシステムであるということはないし更に汗臭くない fact6: 仮にその学位論文がコンピューティングシステムでないしその上それは汗臭くないならば「この投稿記事エリアは内積である」ということは正しい fact7: その学位論文は生産設備能力である fact8: もし仮に何かは支配出来ればそれは類型毎だ ; $hypothesis$ = この投稿記事エリアは内積でない ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: 「この投稿記事エリアは制定し得ない」ということは成り立つ
事実2: もし仮にその学位論文は離乳しないけど生産設備能力だとしたら「この投稿記事エリアは内積でない」ということは確かである
事実3: あの葬儀場は離乳しない
事実4: その学位論文は離乳するということはない一方で生産設備能力だ
事実5: 類型毎はコンピューティングシステムであるということはないし更に汗臭くない
事実6: 仮にその学位論文がコンピューティングシステムでないしその上それは汗臭くないならば「この投稿記事エリアは内積である」ということは正しい
事実7: その学位論文は生産設備能力である
事実8: もし仮に何かは支配出来ればそれは類型毎だ

仮説: この投稿記事エリアは内積でない
1. 事実2と事実4から、仮説が導かれる

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