「「あの具体的検討は目まぐるしくて更に危うい」ということは偽だということはない」ということは誤っている
fact1: あのステレオタイプは活動し始めるしまたそれは危うい fact2: もしもあの具体的検討が末恐ろしいとしたらこの肺腎は危うくないけど姦しい fact3: 仮に「この悟りは我慢し為さるということはない」ということは成り立つならばあの具体的検討は末恐ろしい fact4: あの具体的検討は我慢し為さらないかそれは危うくないか両方ともだ fact5: 仮になにがしかの物が奥深いかもしくはそれは姦しくないか両方だとすればそれは一閃するということはない fact6: もしも「その施行条例は奥深くないかあるいは姦しくないかあるいは両方だ」ということは事実と異なるとしたらこの肺腎は危うくない fact7: 「末恐ろしい」物はある fact8: もしもこの肺腎は危うくないならば「あの具体的検討は目まぐるしいしそれは危うい」ということは成り立たない fact9: その施行条例は姦しい fact10: あるものが奥深くないかまたは姦しくないかもしくは両方ともだとするとその孵化は末恐ろしくない fact11: その孵化は我慢し為さるし更に末恐ろしい
void -> assump1: 以下のように仮定する。その施行条例は奥深くないかまたは姦しくない; assump1 -> int1: 何かは奥深くないかあるいは姦しくないかまたはどちらもである; int1 & fact10 -> int2: その孵化は末恐ろしくない; fact11 -> int3: その孵化は末恐ろしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その施行条例は奥深くないかまたは姦しくない」ということは間違っている; int5 & fact6 -> int6: この肺腎は危うくない; int6 & fact8 -> hypothesis;
あの具体的検討は目まぐるしいししかも危うい
$facts$ = fact1: あのステレオタイプは活動し始めるしまたそれは危うい fact2: もしもあの具体的検討が末恐ろしいとしたらこの肺腎は危うくないけど姦しい fact3: 仮に「この悟りは我慢し為さるということはない」ということは成り立つならばあの具体的検討は末恐ろしい fact4: あの具体的検討は我慢し為さらないかそれは危うくないか両方ともだ fact5: 仮になにがしかの物が奥深いかもしくはそれは姦しくないか両方だとすればそれは一閃するということはない fact6: もしも「その施行条例は奥深くないかあるいは姦しくないかあるいは両方だ」ということは事実と異なるとしたらこの肺腎は危うくない fact7: 「末恐ろしい」物はある fact8: もしもこの肺腎は危うくないならば「あの具体的検討は目まぐるしいしそれは危うい」ということは成り立たない fact9: その施行条例は姦しい fact10: あるものが奥深くないかまたは姦しくないかもしくは両方ともだとするとその孵化は末恐ろしくない fact11: その孵化は我慢し為さるし更に末恐ろしい ; $hypothesis$ = 「「あの具体的検討は目まぐるしくて更に危うい」ということは偽だということはない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。その施行条例は奥深くないかまたは姦しくない; assump1 -> int1: 何かは奥深くないかあるいは姦しくないかまたはどちらもである; int1 & fact10 -> int2: その孵化は末恐ろしくない; fact11 -> int3: その孵化は末恐ろしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その施行条例は奥深くないかまたは姦しくない」ということは間違っている; int5 & fact6 -> int6: この肺腎は危うくない; int6 & fact8 -> hypothesis; __PROVED__
事実1: あのステレオタイプは活動し始めるしまたそれは危うい
事実2: もしもあの具体的検討が末恐ろしいとしたらこの肺腎は危うくないけど姦しい
事実3: 仮に「この悟りは我慢し為さるということはない」ということは成り立つならばあの具体的検討は末恐ろしい
事実4: あの具体的検討は我慢し為さらないかそれは危うくないか両方ともだ
事実5: 仮になにがしかの物が奥深いかもしくはそれは姦しくないか両方だとすればそれは一閃するということはない
事実6: もしも「その施行条例は奥深くないかあるいは姦しくないかあるいは両方だ」ということは事実と異なるとしたらこの肺腎は危うくない
事実7: 「末恐ろしい」物はある
事実8: もしもこの肺腎は危うくないならば「あの具体的検討は目まぐるしいしそれは危うい」ということは成り立たない
事実9: その施行条例は姦しい
事実10: あるものが奥深くないかまたは姦しくないかもしくは両方ともだとするとその孵化は末恐ろしくない
事実11: その孵化は我慢し為さるし更に末恐ろしい

仮説: 「「あの具体的検討は目まぐるしくて更に危うい」ということは偽だということはない」ということは誤っている
1. 仮定1: 以下のように仮定する。その施行条例は奥深くないかまたは姦しくない
2. 仮定1から、推論1: "何かは奥深くないかあるいは姦しくないかまたはどちらもである"が導かれる
3. 推論1と事実10から、推論2: "その孵化は末恐ろしくない"が導かれる
4. 事実11から、推論3: "その孵化は末恐ろしい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その施行条例は奥深くないかまたは姦しくない」ということは間違っている"が導かれる
7. 推論5と事実6から、推論6: "この肺腎は危うくない"が導かれる
8. 推論6と事実8から、仮説が導かれる

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