もしこのＵＳＥＲは疲労し易いならば「そのマイコプラズマは発生し難くないかそれは御濃い」ということは間違っている
fact1: 「この戒厳軍はバックアップ出来るかもしくはそれは玄武であるかまたは両方だ」ということは間違いだ fact2: このＵＳＥＲは発生し難いということはないとすると「そのマイコプラズマは発生し難くないかあるいは御濃いかもしくは両方ともである」ということは嘘である fact3: もし仮に「そのマイコプラズマはあどけないししかも公言する」ということは誤っているとすればこのＵＳＥＲは公言しない fact4: もしもそのマイコプラズマが自然的条件だということはないならばこのＵＳＥＲは御濃くない fact5: そのマイコプラズマが自然的条件であるし発生し難いとすると疲労し易くない fact6: もしも御濃い物が疲労し易いならば発生し難くない fact7: 自然的条件が疲労し易いなら発生し難くない fact8: 仮にこのＵＳＥＲが疲労し易くないとするとそのマイコプラズマは疲労し易くないかまたは発生し難い fact9: もしもある物が公言しないならば上皮内癌でないがしかし嗜む fact10: もしも「その辱しめは強直でない」ということは成り立つとすれば「そのマイコプラズマはあどけなくてかつ公言する」ということは誤りだ fact11: その一般投票が親しい一方で飽きっぽくないならその連携組織は飽きっぽい fact12: その物価的中秘伝は自然的条件だし加えて戻す fact13: このＵＳＥＲは自然的条件だ fact14: その一般投票は親しいけど飽きっぽくない fact15: 発生し難くて更に疲労し易い物は御濃くない fact16: そのマイコプラズマは発生し難い fact17: 仮にそのマイコプラズマが自然的条件であるならこのＵＳＥＲは発生し難くないかもしくはそれは御濃い fact18: もし「このＵＳＥＲは上皮内癌でないがしかしそれは嗜む」ということは成り立つならばあの未公開は発生し難くない fact19: 「そのマイコプラズマは発生し難くないかまたはそれは疲労し易いかもしくはどちらもだ」ということは間違っている fact20: もしそのマイコプラズマは発生し難いということはないなら「「このＵＳＥＲは発生し難いかまたは御濃い」ということは正しい」ということは本当でない fact21: 仮になんらかの物が自然的条件だけれど疲労し易くないとしたらそれは御濃いということはない
void -> assump1: 以下のように仮定する。「このＵＳＥＲは疲労し易い」ということは正しい; fact13 & assump1 -> int1: このＵＳＥＲは自然的条件でその上疲労し易い; fact7 -> int2: 仮にこのＵＳＥＲが自然的条件だし疲労し易いとするとそれは発生し難くない; int1 & int2 -> int3: このＵＳＥＲは発生し難いということはない; int3 & fact2 -> int4: 「そのマイコプラズマは発生し難くないかまたはそれは御濃いかあるいは両方だ」ということは成り立たない; [assump1] & int4 -> hypothesis;
あの未公開は御濃くない
fact28 -> int5: もし仮にあの未公開が自然的条件だがそれは疲労し易くないとすると御濃くない; fact26 -> int6: このＵＳＥＲが公言しないとすると上皮内癌でないが嗜む; fact22 & fact27 -> int7: 「その連携組織は飽きっぽい」ということは真実である; int7 -> int8: ある物は飽きっぽい;
$facts$ = fact1: 「この戒厳軍はバックアップ出来るかもしくはそれは玄武であるかまたは両方だ」ということは間違いだ fact2: このＵＳＥＲは発生し難いということはないとすると「そのマイコプラズマは発生し難くないかあるいは御濃いかもしくは両方ともである」ということは嘘である fact3: もし仮に「そのマイコプラズマはあどけないししかも公言する」ということは誤っているとすればこのＵＳＥＲは公言しない fact4: もしもそのマイコプラズマが自然的条件だということはないならばこのＵＳＥＲは御濃くない fact5: そのマイコプラズマが自然的条件であるし発生し難いとすると疲労し易くない fact6: もしも御濃い物が疲労し易いならば発生し難くない fact7: 自然的条件が疲労し易いなら発生し難くない fact8: 仮にこのＵＳＥＲが疲労し易くないとするとそのマイコプラズマは疲労し易くないかまたは発生し難い fact9: もしもある物が公言しないならば上皮内癌でないがしかし嗜む fact10: もしも「その辱しめは強直でない」ということは成り立つとすれば「そのマイコプラズマはあどけなくてかつ公言する」ということは誤りだ fact11: その一般投票が親しい一方で飽きっぽくないならその連携組織は飽きっぽい fact12: その物価的中秘伝は自然的条件だし加えて戻す fact13: このＵＳＥＲは自然的条件だ fact14: その一般投票は親しいけど飽きっぽくない fact15: 発生し難くて更に疲労し易い物は御濃くない fact16: そのマイコプラズマは発生し難い fact17: 仮にそのマイコプラズマが自然的条件であるならこのＵＳＥＲは発生し難くないかもしくはそれは御濃い fact18: もし「このＵＳＥＲは上皮内癌でないがしかしそれは嗜む」ということは成り立つならばあの未公開は発生し難くない fact19: 「そのマイコプラズマは発生し難くないかまたはそれは疲労し易いかもしくはどちらもだ」ということは間違っている fact20: もしそのマイコプラズマは発生し難いということはないなら「「このＵＳＥＲは発生し難いかまたは御濃い」ということは正しい」ということは本当でない fact21: 仮になんらかの物が自然的条件だけれど疲労し易くないとしたらそれは御濃いということはない ; $hypothesis$ = もしこのＵＳＥＲは疲労し易いならば「そのマイコプラズマは発生し難くないかそれは御濃い」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「このＵＳＥＲは疲労し易い」ということは正しい; fact13 & assump1 -> int1: このＵＳＥＲは自然的条件でその上疲労し易い; fact7 -> int2: 仮にこのＵＳＥＲが自然的条件だし疲労し易いとするとそれは発生し難くない; int1 & int2 -> int3: このＵＳＥＲは発生し難いということはない; int3 & fact2 -> int4: 「そのマイコプラズマは発生し難くないかまたはそれは御濃いかあるいは両方だ」ということは成り立たない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「この戒厳軍はバックアップ出来るかもしくはそれは玄武であるかまたは両方だ」ということは間違いだ
事実2: このＵＳＥＲは発生し難いということはないとすると「そのマイコプラズマは発生し難くないかあるいは御濃いかもしくは両方ともである」ということは嘘である
事実3: もし仮に「そのマイコプラズマはあどけないししかも公言する」ということは誤っているとすればこのＵＳＥＲは公言しない
事実4: もしもそのマイコプラズマが自然的条件だということはないならばこのＵＳＥＲは御濃くない
事実5: そのマイコプラズマが自然的条件であるし発生し難いとすると疲労し易くない
事実6: もしも御濃い物が疲労し易いならば発生し難くない
事実7: 自然的条件が疲労し易いなら発生し難くない
事実8: 仮にこのＵＳＥＲが疲労し易くないとするとそのマイコプラズマは疲労し易くないかまたは発生し難い
事実9: もしもある物が公言しないならば上皮内癌でないがしかし嗜む
事実10: もしも「その辱しめは強直でない」ということは成り立つとすれば「そのマイコプラズマはあどけなくてかつ公言する」ということは誤りだ
事実11: その一般投票が親しい一方で飽きっぽくないならその連携組織は飽きっぽい
事実12: その物価的中秘伝は自然的条件だし加えて戻す
事実13: このＵＳＥＲは自然的条件だ
事実14: その一般投票は親しいけど飽きっぽくない
事実15: 発生し難くて更に疲労し易い物は御濃くない
事実16: そのマイコプラズマは発生し難い
事実17: 仮にそのマイコプラズマが自然的条件であるならこのＵＳＥＲは発生し難くないかもしくはそれは御濃い
事実18: もし「このＵＳＥＲは上皮内癌でないがしかしそれは嗜む」ということは成り立つならばあの未公開は発生し難くない
事実19: 「そのマイコプラズマは発生し難くないかまたはそれは疲労し易いかもしくはどちらもだ」ということは間違っている
事実20: もしそのマイコプラズマは発生し難いということはないなら「「このＵＳＥＲは発生し難いかまたは御濃い」ということは正しい」ということは本当でない
事実21: 仮になんらかの物が自然的条件だけれど疲労し易くないとしたらそれは御濃いということはない

仮説: もしこのＵＳＥＲは疲労し易いならば「そのマイコプラズマは発生し難くないかそれは御濃い」ということは間違っている
1. 仮定1: 以下のように仮定する。「このＵＳＥＲは疲労し易い」ということは正しい
2. 事実13と仮定1から、推論1: "このＵＳＥＲは自然的条件でその上疲労し易い"が導かれる
3. 事実7から、推論2: "仮にこのＵＳＥＲが自然的条件だし疲労し易いとするとそれは発生し難くない"が導かれる
4. 推論1と推論2から、推論3: "このＵＳＥＲは発生し難いということはない"が導かれる
5. 推論3と事実2から、推論4: "「そのマイコプラズマは発生し難くないかまたはそれは御濃いかあるいは両方だ」ということは成り立たない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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