あの秘密真言は思慮深くない
fact1: もしも「甲乙協議しない」ものはあるとすれば「その表現行為は牛蒡だし回りくどい」ということは間違いだ fact2: 「「あの秘密真言は控除すかまたは九百六十四ターボであるということはないかもしくは両方ともだ」ということは誤りである」ということは成り立つ fact3: もし仮にあの秘密真言は思慮深いとしたら「初々しいかまたは感染経路でない」ということは成り立たない fact4: その表現行為は初々しかない fact5: もしもこの分析器は押し易くないとしたら「それは思量すらないけど甲乙協議する」ということは間違いである fact6: 「もし仮にその表現行為が模倣すればあの秘密真言は初々しいか感染経路であるということはないかまたはどちらもだ」ということは成り立つ fact7: この分析器は押し易くない fact8: その表現行為は模倣する fact9: もしも「「思量すらないがしかし甲乙協議する」ということは嘘である」ものがあるとするとあの一着無しは甲乙協議するということはない fact10: 思慮深くない物は縫縮するかまたは感染経路でない fact11: もしもあの秘密真言が回りくどくないならばその病態生理は思慮深いということはなくて模倣しない fact12: あの秘密真言は初々しいかもしくは感染経路であるか両方だ
void -> assump1: 以下のように仮定する。「あの秘密真言は思慮深い」ということは誤りでない; fact3 & assump1 -> int1: 「あの秘密真言は初々しいか感染経路でないかまたはどちらもだ」ということは誤りだ; fact6 & fact8 -> int2: あの秘密真言は初々しいかあるいはそれは感染経路でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その病態生理は縫縮するかそれは感染経路でない
fact15 -> int4: 仮に「その病態生理は思慮深くない」ということは成り立つなら縫縮するかあるいはそれは感染経路でないかまたはどちらもである; fact18 & fact17 -> int5: 「この分析器は思量すということはない一方で甲乙協議する」ということは嘘である; int5 -> int6: 「「「思量すらなくて甲乙協議する」ということは事実だ」ということは成り立たない」ものはある; int6 & fact13 -> int7: あの一着無しは甲乙協議しない; int7 -> int8: 「甲乙協議しない」物はある; int8 & fact16 -> int9: 「その表現行為は牛蒡であるし回りくどい」ということは事実と異なる; int9 -> int10: 「「牛蒡だしそれに回りくどい」ということは偽である」ものはある;
$facts$ = fact1: もしも「甲乙協議しない」ものはあるとすれば「その表現行為は牛蒡だし回りくどい」ということは間違いだ fact2: 「「あの秘密真言は控除すかまたは九百六十四ターボであるということはないかもしくは両方ともだ」ということは誤りである」ということは成り立つ fact3: もし仮にあの秘密真言は思慮深いとしたら「初々しいかまたは感染経路でない」ということは成り立たない fact4: その表現行為は初々しかない fact5: もしもこの分析器は押し易くないとしたら「それは思量すらないけど甲乙協議する」ということは間違いである fact6: 「もし仮にその表現行為が模倣すればあの秘密真言は初々しいか感染経路であるということはないかまたはどちらもだ」ということは成り立つ fact7: この分析器は押し易くない fact8: その表現行為は模倣する fact9: もしも「「思量すらないがしかし甲乙協議する」ということは嘘である」ものがあるとするとあの一着無しは甲乙協議するということはない fact10: 思慮深くない物は縫縮するかまたは感染経路でない fact11: もしもあの秘密真言が回りくどくないならばその病態生理は思慮深いということはなくて模倣しない fact12: あの秘密真言は初々しいかもしくは感染経路であるか両方だ ; $hypothesis$ = あの秘密真言は思慮深くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの秘密真言は思慮深い」ということは誤りでない; fact3 & assump1 -> int1: 「あの秘密真言は初々しいか感染経路でないかまたはどちらもだ」ということは誤りだ; fact6 & fact8 -> int2: あの秘密真言は初々しいかあるいはそれは感染経路でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも「甲乙協議しない」ものはあるとすれば「その表現行為は牛蒡だし回りくどい」ということは間違いだ
事実2: 「「あの秘密真言は控除すかまたは九百六十四ターボであるということはないかもしくは両方ともだ」ということは誤りである」ということは成り立つ
事実3: もし仮にあの秘密真言は思慮深いとしたら「初々しいかまたは感染経路でない」ということは成り立たない
事実4: その表現行為は初々しかない
事実5: もしもこの分析器は押し易くないとしたら「それは思量すらないけど甲乙協議する」ということは間違いである
事実6: 「もし仮にその表現行為が模倣すればあの秘密真言は初々しいか感染経路であるということはないかまたはどちらもだ」ということは成り立つ
事実7: この分析器は押し易くない
事実8: その表現行為は模倣する
事実9: もしも「「思量すらないがしかし甲乙協議する」ということは嘘である」ものがあるとするとあの一着無しは甲乙協議するということはない
事実10: 思慮深くない物は縫縮するかまたは感染経路でない
事実11: もしもあの秘密真言が回りくどくないならばその病態生理は思慮深いということはなくて模倣しない
事実12: あの秘密真言は初々しいかもしくは感染経路であるか両方だ

仮説: あの秘密真言は思慮深くない
1. 仮定1: 以下のように仮定する。「あの秘密真言は思慮深い」ということは誤りでない
2. 事実3と仮定1から、推論1: "「あの秘密真言は初々しいか感染経路でないかまたはどちらもだ」ということは誤りだ"が導かれる
3. 事実6と事実8から、推論2: "あの秘密真言は初々しいかあるいはそれは感染経路でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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