あの収納時は薄ら寒くないけど出現し易い
fact1: もしもなにかは古しないとしたら「薄ら寒くないが出現し易い」ということは間違っている fact2: あの信頼性係数は由々しない一方でそれは本郷計画だ fact3: あの収納時は薄ら寒くない fact4: あの収納時は薄ら寒くないけれど出現し易い fact5: この技術貿易は延伸しない
fact4 -> hypothesis;
fact4 -> hypothesis;
「あの収納時は薄ら寒くない一方で出現し易い」ということは嘘だ
fact6 -> int1: もしもあの収納時は古しないなら「「薄ら寒いということはない一方で出現し易い」ということは成り立つ」ということは事実と異なる;
$facts$ = fact1: もしもなにかは古しないとしたら「薄ら寒くないが出現し易い」ということは間違っている fact2: あの信頼性係数は由々しない一方でそれは本郷計画だ fact3: あの収納時は薄ら寒くない fact4: あの収納時は薄ら寒くないけれど出現し易い fact5: この技術貿易は延伸しない ; $hypothesis$ = あの収納時は薄ら寒くないけど出現し易い ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしもなにかは古しないとしたら「薄ら寒くないが出現し易い」ということは間違っている
事実2: あの信頼性係数は由々しない一方でそれは本郷計画だ
事実3: あの収納時は薄ら寒くない
事実4: あの収納時は薄ら寒くないけれど出現し易い
事実5: この技術貿易は延伸しない

仮説: あの収納時は薄ら寒くないけど出現し易い
1. 事実4から、仮説が導かれる

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