「この研究者自身は出帆しなくてその上旨いということはない」ということは間違っている
fact1: もしも「そのベルムナント伯は細管でないけれど覚え難い」ということは事実でないとするとこの研究者自身は細管でない fact2: 「あの女性雑誌は見間違わないしまた点検出来ない」ということは嘘である fact3: 「この研究者自身は出帆するがそれは旨くない」ということは間違っている fact4: 「この研究者自身は出帆しないがしかし旨い」ということは間違いである fact5: もしとあるものは細管だとすると「それは大量首切りでないしさらにそれは旨いということはない」ということは成り立たない fact6: もしもなにがしかの物が覚え難くないとしたらそれが細管だしまた効率向上だ fact7: 「この研究者自身は出帆しなくて加えて旨いということはない」ということは間違っている fact8: 何らかのものが細管だということはないなら出帆しないし旨くない
fact7 -> hypothesis;
fact7 -> hypothesis;
「「この祖国は大量首切りでなくてまたそれは旨くない」ということは本当だ」ということは成り立たない
fact9 -> int1: もしこの祖国は細管ならば「大量首切りでないしその上旨くない」ということは嘘だ; fact10 -> int2: もしもこの祖国が覚え難くないならば細管であるし効率向上である;
$facts$ = fact1: もしも「そのベルムナント伯は細管でないけれど覚え難い」ということは事実でないとするとこの研究者自身は細管でない fact2: 「あの女性雑誌は見間違わないしまた点検出来ない」ということは嘘である fact3: 「この研究者自身は出帆するがそれは旨くない」ということは間違っている fact4: 「この研究者自身は出帆しないがしかし旨い」ということは間違いである fact5: もしとあるものは細管だとすると「それは大量首切りでないしさらにそれは旨いということはない」ということは成り立たない fact6: もしもなにがしかの物が覚え難くないとしたらそれが細管だしまた効率向上だ fact7: 「この研究者自身は出帆しなくて加えて旨いということはない」ということは間違っている fact8: 何らかのものが細管だということはないなら出帆しないし旨くない ; $hypothesis$ = 「この研究者自身は出帆しなくてその上旨いということはない」ということは間違っている ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もしも「そのベルムナント伯は細管でないけれど覚え難い」ということは事実でないとするとこの研究者自身は細管でない
事実2: 「あの女性雑誌は見間違わないしまた点検出来ない」ということは嘘である
事実3: 「この研究者自身は出帆するがそれは旨くない」ということは間違っている
事実4: 「この研究者自身は出帆しないがしかし旨い」ということは間違いである
事実5: もしとあるものは細管だとすると「それは大量首切りでないしさらにそれは旨いということはない」ということは成り立たない
事実6: もしもなにがしかの物が覚え難くないとしたらそれが細管だしまた効率向上だ
事実7: 「この研究者自身は出帆しなくて加えて旨いということはない」ということは間違っている
事実8: 何らかのものが細管だということはないなら出帆しないし旨くない

仮説: 「この研究者自身は出帆しなくてその上旨いということはない」ということは間違っている
1. 事実7から、仮説が導かれる

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