もし「その一流シェフは厭わしいということはなくておまけにそれは来難くない」ということは成り立たないとすればあの各業界は熱くない
fact1: もしもその各業界が来難いとするとその一流シェフは熱いということはないし厭わしくない fact2: 仮にその一流シェフが熱いとすればその各業界は厭わしくないしおまけに来難いということはない fact3: 「その一流シェフは厭わしくないけど来難い」ということは成り立たない fact4: あの旧石器時代は忘れっぽくなくて卑しない fact5: もしその各業界は熱いとしたら「その一流シェフは来難いということはない」ということは間違っていない fact6: その各業界は熱いけどそれは厭わしくない fact7: 仮にその各業界が熱いとすればその一流シェフは厭わしいということはなくて来難いということはない fact8: その一流シェフは来難くない fact9: その一流シェフが来難いとするとその各業界は熱くない fact10: その一過程は熱くないし忠実忠実しいということはない fact11: 「その一流シェフは熱くない一方でそれは厭わしい」ということは事実と異なる fact12: もし仮に「その各業界は厭わしくなくてその上来難くない」ということは偽だとすればその一流シェフは熱くない fact13: もしその一流シェフが熱いならばその各業界は来難くない fact14: 仮に「その一流シェフは来難くないしその上それは熱くない」ということは事実でないならその各業界は厭わしくない fact15: もしもその各業界が厭わしいならその一流シェフは来難いけれど熱くない
void -> assump1: 以下のように仮定する。「その各業界は熱い」ということは成り立つ; fact7 & assump1 -> int1: その一流シェフは厭わしくないし来難いということはない; void -> assump2: 以下のように仮定する。「その一流シェフは厭わしいということはないし加えて来難くない」ということは成り立たない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その各業界は熱くない; [assump2] & int3 -> hypothesis;
$facts$ = fact1: もしもその各業界が来難いとするとその一流シェフは熱いということはないし厭わしくない fact2: 仮にその一流シェフが熱いとすればその各業界は厭わしくないしおまけに来難いということはない fact3: 「その一流シェフは厭わしくないけど来難い」ということは成り立たない fact4: あの旧石器時代は忘れっぽくなくて卑しない fact5: もしその各業界は熱いとしたら「その一流シェフは来難いということはない」ということは間違っていない fact6: その各業界は熱いけどそれは厭わしくない fact7: 仮にその各業界が熱いとすればその一流シェフは厭わしいということはなくて来難いということはない fact8: その一流シェフは来難くない fact9: その一流シェフが来難いとするとその各業界は熱くない fact10: その一過程は熱くないし忠実忠実しいということはない fact11: 「その一流シェフは熱くない一方でそれは厭わしい」ということは事実と異なる fact12: もし仮に「その各業界は厭わしくなくてその上来難くない」ということは偽だとすればその一流シェフは熱くない fact13: もしその一流シェフが熱いならばその各業界は来難くない fact14: 仮に「その一流シェフは来難くないしその上それは熱くない」ということは事実でないならその各業界は厭わしくない fact15: もしもその各業界が厭わしいならその一流シェフは来難いけれど熱くない ; $hypothesis$ = もし「その一流シェフは厭わしいということはなくておまけにそれは来難くない」ということは成り立たないとすればあの各業界は熱くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その各業界は熱い」ということは成り立つ; fact7 & assump1 -> int1: その一流シェフは厭わしくないし来難いということはない; void -> assump2: 以下のように仮定する。「その一流シェフは厭わしいということはないし加えて来難くない」ということは成り立たない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その各業界は熱くない; [assump2] & int3 -> hypothesis; __PROVED__
事実1: もしもその各業界が来難いとするとその一流シェフは熱いということはないし厭わしくない
事実2: 仮にその一流シェフが熱いとすればその各業界は厭わしくないしおまけに来難いということはない
事実3: 「その一流シェフは厭わしくないけど来難い」ということは成り立たない
事実4: あの旧石器時代は忘れっぽくなくて卑しない
事実5: もしその各業界は熱いとしたら「その一流シェフは来難いということはない」ということは間違っていない
事実6: その各業界は熱いけどそれは厭わしくない
事実7: 仮にその各業界が熱いとすればその一流シェフは厭わしいということはなくて来難いということはない
事実8: その一流シェフは来難くない
事実9: その一流シェフが来難いとするとその各業界は熱くない
事実10: その一過程は熱くないし忠実忠実しいということはない
事実11: 「その一流シェフは熱くない一方でそれは厭わしい」ということは事実と異なる
事実12: もし仮に「その各業界は厭わしくなくてその上来難くない」ということは偽だとすればその一流シェフは熱くない
事実13: もしその一流シェフが熱いならばその各業界は来難くない
事実14: 仮に「その一流シェフは来難くないしその上それは熱くない」ということは事実でないならその各業界は厭わしくない
事実15: もしもその各業界が厭わしいならその一流シェフは来難いけれど熱くない

仮説: もし「その一流シェフは厭わしいということはなくておまけにそれは来難くない」ということは成り立たないとすればあの各業界は熱くない
1. 仮定1: 以下のように仮定する。「その各業界は熱い」ということは成り立つ
2. 事実7と仮定1から、推論1: "その一流シェフは厭わしくないし来難いということはない"が導かれる
3. 仮定2: 以下のように仮定する。「その一流シェフは厭わしいということはないし加えて来難くない」ということは成り立たない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "その各業界は熱くない"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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