もしこのパープルがし難いとすればこの十万人は演算出来ない
fact1: 「このパープルはクリアランスでない」ということは正しいとすればこの十万人は演算出来ない fact2: その臨床実習はクリアランスであるということはないしさらに末恐ろしくない fact3: このパープルが演算出来るとしたらこの十万人はクリアランスでない fact4: もしこのパープルが演算出来ればそれは伴い易くない fact5: もしこのパープルがし難いとすると伴い易くない fact6: この十万人はクリアランスでない fact7: もし仮にこの十万人が伴い易いとすればこのパープルは演算出来ない fact8: このパープルは演算出来るとすれば「この十万人はし難い」ということは確かである fact9: このパープルがクリアランスでないとすればあの十万人は演算出来る fact10: 「このパープルは演算出来ない」ということは成り立つとするとこの十万人はクリアランスでない fact11: 「仮にこのパープルがし難いならばこのパープルは伴い易いということはないしまたそれはクリアランスであるということはない」ということは嘘でない fact12: もし仮にあの椎茸栽培が演算出来るとすればそれが言い足さないしさらに摘出出来ない fact13: この十万人はアセットパネルであるということはないしさらにそれはし難くない
void -> assump1: 以下のように仮定する。このパープルはし難い; fact11 & assump1 -> int1: このパープルは伴い易くないしそれにクリアランスでない; int1 -> int2: このパープルはクリアランスでない; int2 & fact1 -> int3: この十万人は演算出来ない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「このパープルはクリアランスでない」ということは正しいとすればこの十万人は演算出来ない fact2: その臨床実習はクリアランスであるということはないしさらに末恐ろしくない fact3: このパープルが演算出来るとしたらこの十万人はクリアランスでない fact4: もしこのパープルが演算出来ればそれは伴い易くない fact5: もしこのパープルがし難いとすると伴い易くない fact6: この十万人はクリアランスでない fact7: もし仮にこの十万人が伴い易いとすればこのパープルは演算出来ない fact8: このパープルは演算出来るとすれば「この十万人はし難い」ということは確かである fact9: このパープルがクリアランスでないとすればあの十万人は演算出来る fact10: 「このパープルは演算出来ない」ということは成り立つとするとこの十万人はクリアランスでない fact11: 「仮にこのパープルがし難いならばこのパープルは伴い易いということはないしまたそれはクリアランスであるということはない」ということは嘘でない fact12: もし仮にあの椎茸栽培が演算出来るとすればそれが言い足さないしさらに摘出出来ない fact13: この十万人はアセットパネルであるということはないしさらにそれはし難くない ; $hypothesis$ = もしこのパープルがし難いとすればこの十万人は演算出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。このパープルはし難い; fact11 & assump1 -> int1: このパープルは伴い易くないしそれにクリアランスでない; int1 -> int2: このパープルはクリアランスでない; int2 & fact1 -> int3: この十万人は演算出来ない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「このパープルはクリアランスでない」ということは正しいとすればこの十万人は演算出来ない
事実2: その臨床実習はクリアランスであるということはないしさらに末恐ろしくない
事実3: このパープルが演算出来るとしたらこの十万人はクリアランスでない
事実4: もしこのパープルが演算出来ればそれは伴い易くない
事実5: もしこのパープルがし難いとすると伴い易くない
事実6: この十万人はクリアランスでない
事実7: もし仮にこの十万人が伴い易いとすればこのパープルは演算出来ない
事実8: このパープルは演算出来るとすれば「この十万人はし難い」ということは確かである
事実9: このパープルがクリアランスでないとすればあの十万人は演算出来る
事実10: 「このパープルは演算出来ない」ということは成り立つとするとこの十万人はクリアランスでない
事実11: 「仮にこのパープルがし難いならばこのパープルは伴い易いということはないしまたそれはクリアランスであるということはない」ということは嘘でない
事実12: もし仮にあの椎茸栽培が演算出来るとすればそれが言い足さないしさらに摘出出来ない
事実13: この十万人はアセットパネルであるということはないしさらにそれはし難くない

仮説: もしこのパープルがし難いとすればこの十万人は演算出来ない
1. 仮定1: 以下のように仮定する。このパープルはし難い
2. 事実11と仮定1から、推論1: "このパープルは伴い易くないしそれにクリアランスでない"が導かれる
3. 推論1から、推論2: "このパープルはクリアランスでない"が導かれる
4. 推論2と事実1から、推論3: "この十万人は演算出来ない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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