もし仮にその理髪室が利用し易いとするとその変容は清しない
fact1: 「その変容はしぶといが相分からない」ということは確かでない fact2: その変容は清し fact3: もしもなにかはしぶといとすると清しない fact4: 「その理髪室は利用し易くないが清し」ということは成り立たない fact5: 仮にその変容はしぶといなら「その理髪室は清しないし加えてそれは相分からない」ということは成り立たない fact6: もし仮にその変容がしぶといなら清しということはない fact7: もし仮に「なにかは清しないしおまけにそれはＣＳＳでない」ということは間違いだとしたらそれは格上げするということはない fact8: その理髪室が利用し易いならばあの変容は清し fact9: もしも「なんらかのものは教育訓練機関でなくてかつ浅ましない」ということは偽だとするとそれはトロリーバスでない fact10: その理髪室は利用し易いならば「その変容はしぶとくなくてかつ相分からない」ということは成り立たない fact11: その変容は相分かるとすると「その理髪室は清しないしかつそれは利用し易くない」ということは偽である fact12: 仮に「その理髪室は清しないししぶとくない」ということは成り立たないなら利用し易い fact13: もしその理髪室は利用し易いなら「その変容はしぶといけど相分からない」ということは間違っている fact14: もしも「とあるものはしぶとくなくてその上それは利用し易くない」ということは誤っているとしたらそれは清しない fact15: もし「その変容は初旬でないしかつ貧しない」ということは成り立たないならそれは清し fact16: 「なにかはしぶとくなくておまけに相分からない」ということは成り立たないとしたら「清し」ということは本当である fact17: その変容は利用し易くない fact18: もし仮に「その変容はしぶとくないし加えて相分からない」ということは事実と異なるとしたらそれは清し fact19: もし「何らかの物はしぶとくないし更に相分からない」ということは成り立たないなら清しない
void -> assump1: 以下のように仮定する。その理髪室は利用し易い; fact10 & assump1 -> int1: 「その変容はしぶとくないし相分からない」ということは成り立つということはない; fact19 -> int2: もし「その変容はしぶとくなくてその上それは相分からない」ということは嘘であるとしたらそれは清しない; int1 & int2 -> int3: その変容は清しない; [assump1] & int3 -> hypothesis;
もし仮に「この基線は清しないしそれはＣＳＳであるということはない」ということは誤っているならそれは格上げしない
fact20 -> hypothesis;
$facts$ = fact1: 「その変容はしぶといが相分からない」ということは確かでない fact2: その変容は清し fact3: もしもなにかはしぶといとすると清しない fact4: 「その理髪室は利用し易くないが清し」ということは成り立たない fact5: 仮にその変容はしぶといなら「その理髪室は清しないし加えてそれは相分からない」ということは成り立たない fact6: もし仮にその変容がしぶといなら清しということはない fact7: もし仮に「なにかは清しないしおまけにそれはＣＳＳでない」ということは間違いだとしたらそれは格上げするということはない fact8: その理髪室が利用し易いならばあの変容は清し fact9: もしも「なんらかのものは教育訓練機関でなくてかつ浅ましない」ということは偽だとするとそれはトロリーバスでない fact10: その理髪室は利用し易いならば「その変容はしぶとくなくてかつ相分からない」ということは成り立たない fact11: その変容は相分かるとすると「その理髪室は清しないしかつそれは利用し易くない」ということは偽である fact12: 仮に「その理髪室は清しないししぶとくない」ということは成り立たないなら利用し易い fact13: もしその理髪室は利用し易いなら「その変容はしぶといけど相分からない」ということは間違っている fact14: もしも「とあるものはしぶとくなくてその上それは利用し易くない」ということは誤っているとしたらそれは清しない fact15: もし「その変容は初旬でないしかつ貧しない」ということは成り立たないならそれは清し fact16: 「なにかはしぶとくなくておまけに相分からない」ということは成り立たないとしたら「清し」ということは本当である fact17: その変容は利用し易くない fact18: もし仮に「その変容はしぶとくないし加えて相分からない」ということは事実と異なるとしたらそれは清し fact19: もし「何らかの物はしぶとくないし更に相分からない」ということは成り立たないなら清しない ; $hypothesis$ = もし仮にその理髪室が利用し易いとするとその変容は清しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その理髪室は利用し易い; fact10 & assump1 -> int1: 「その変容はしぶとくないし相分からない」ということは成り立つということはない; fact19 -> int2: もし「その変容はしぶとくなくてその上それは相分からない」ということは嘘であるとしたらそれは清しない; int1 & int2 -> int3: その変容は清しない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「その変容はしぶといが相分からない」ということは確かでない
事実2: その変容は清し
事実3: もしもなにかはしぶといとすると清しない
事実4: 「その理髪室は利用し易くないが清し」ということは成り立たない
事実5: 仮にその変容はしぶといなら「その理髪室は清しないし加えてそれは相分からない」ということは成り立たない
事実6: もし仮にその変容がしぶといなら清しということはない
事実7: もし仮に「なにかは清しないしおまけにそれはＣＳＳでない」ということは間違いだとしたらそれは格上げするということはない
事実8: その理髪室が利用し易いならばあの変容は清し
事実9: もしも「なんらかのものは教育訓練機関でなくてかつ浅ましない」ということは偽だとするとそれはトロリーバスでない
事実10: その理髪室は利用し易いならば「その変容はしぶとくなくてかつ相分からない」ということは成り立たない
事実11: その変容は相分かるとすると「その理髪室は清しないしかつそれは利用し易くない」ということは偽である
事実12: 仮に「その理髪室は清しないししぶとくない」ということは成り立たないなら利用し易い
事実13: もしその理髪室は利用し易いなら「その変容はしぶといけど相分からない」ということは間違っている
事実14: もしも「とあるものはしぶとくなくてその上それは利用し易くない」ということは誤っているとしたらそれは清しない
事実15: もし「その変容は初旬でないしかつ貧しない」ということは成り立たないならそれは清し
事実16: 「なにかはしぶとくなくておまけに相分からない」ということは成り立たないとしたら「清し」ということは本当である
事実17: その変容は利用し易くない
事実18: もし仮に「その変容はしぶとくないし加えて相分からない」ということは事実と異なるとしたらそれは清し
事実19: もし「何らかの物はしぶとくないし更に相分からない」ということは成り立たないなら清しない

仮説: もし仮にその理髪室が利用し易いとするとその変容は清しない
1. 仮定1: 以下のように仮定する。その理髪室は利用し易い
2. 事実10と仮定1から、推論1: "「その変容はしぶとくないし相分からない」ということは成り立つということはない"が導かれる
3. 事実19から、推論2: "もし「その変容はしぶとくなくてその上それは相分からない」ということは嘘であるとしたらそれは清しない"が導かれる
4. 推論1と推論2から、推論3: "その変容は清しない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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