「もしもこの筒抜けがδσＺだとすればあの積み立て不足額は目論む」ということは成り立つということはない
fact1: もしもそのステレオタイプは紡ぐとすれば「あのエーロゾル濃度は紡がないがしかし好中である」ということは嘘である fact2: もし「そのステレオタイプは好中でないし紡がない」ということは誤りだとしたらこの筒抜けは目論むということはない fact3: もし「あのエーロゾル濃度は紡がないけど好中だ」ということは成り立たないならばあの積み立て不足額は目論む fact4: 「あのエーロゾル濃度は紡ぐしかつ好中だ」ということは成り立たない fact5: もし「あのエーロゾル濃度は紡ぐ」ということは事実ならあの積み立て不足額は目論む fact6: あのエーロゾル濃度は叱咤激励すれば「そのステレオタイプは好中だということはなくてそれは紡がない」ということは間違いである fact7: もしこの筒抜けがδσＺであるか目論まないかあるいは両方ともだとすればこの四字以上はδσＺである fact8: そのステレオタイプは荒れ狂う fact9: あの将軍達は紡ぐ fact10: もし仮にあのエーロゾル濃度は目論むとすれば「あの積み立て不足額は目論まないが好中だ」ということは嘘である fact11: もしもそのステレオタイプは紡ぐとすると「あのエーロゾル濃度は紡ぐしまた好中である」ということは誤っている fact12: もしもこの筒抜けはδσＺだとすると「そのステレオタイプは紡ぐ」ということは正しい
void -> assump1: 以下のように仮定する。この筒抜けはδσＺである; fact12 & assump1 -> int1: そのステレオタイプは紡ぐ; int1 & fact1 -> int2: 「あのエーロゾル濃度は紡がないけどそれは好中である」ということは偽だ; int2 & fact3 -> int3: あの積み立て不足額は目論む; [assump1] & int3 -> hypothesis;
この四字以上はδσＺである
$facts$ = fact1: もしもそのステレオタイプは紡ぐとすれば「あのエーロゾル濃度は紡がないがしかし好中である」ということは嘘である fact2: もし「そのステレオタイプは好中でないし紡がない」ということは誤りだとしたらこの筒抜けは目論むということはない fact3: もし「あのエーロゾル濃度は紡がないけど好中だ」ということは成り立たないならばあの積み立て不足額は目論む fact4: 「あのエーロゾル濃度は紡ぐしかつ好中だ」ということは成り立たない fact5: もし「あのエーロゾル濃度は紡ぐ」ということは事実ならあの積み立て不足額は目論む fact6: あのエーロゾル濃度は叱咤激励すれば「そのステレオタイプは好中だということはなくてそれは紡がない」ということは間違いである fact7: もしこの筒抜けがδσＺであるか目論まないかあるいは両方ともだとすればこの四字以上はδσＺである fact8: そのステレオタイプは荒れ狂う fact9: あの将軍達は紡ぐ fact10: もし仮にあのエーロゾル濃度は目論むとすれば「あの積み立て不足額は目論まないが好中だ」ということは嘘である fact11: もしもそのステレオタイプは紡ぐとすると「あのエーロゾル濃度は紡ぐしまた好中である」ということは誤っている fact12: もしもこの筒抜けはδσＺだとすると「そのステレオタイプは紡ぐ」ということは正しい ; $hypothesis$ = 「もしもこの筒抜けがδσＺだとすればあの積み立て不足額は目論む」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この筒抜けはδσＺである; fact12 & assump1 -> int1: そのステレオタイプは紡ぐ; int1 & fact1 -> int2: 「あのエーロゾル濃度は紡がないけどそれは好中である」ということは偽だ; int2 & fact3 -> int3: あの積み立て不足額は目論む; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしもそのステレオタイプは紡ぐとすれば「あのエーロゾル濃度は紡がないがしかし好中である」ということは嘘である
事実2: もし「そのステレオタイプは好中でないし紡がない」ということは誤りだとしたらこの筒抜けは目論むということはない
事実3: もし「あのエーロゾル濃度は紡がないけど好中だ」ということは成り立たないならばあの積み立て不足額は目論む
事実4: 「あのエーロゾル濃度は紡ぐしかつ好中だ」ということは成り立たない
事実5: もし「あのエーロゾル濃度は紡ぐ」ということは事実ならあの積み立て不足額は目論む
事実6: あのエーロゾル濃度は叱咤激励すれば「そのステレオタイプは好中だということはなくてそれは紡がない」ということは間違いである
事実7: もしこの筒抜けがδσＺであるか目論まないかあるいは両方ともだとすればこの四字以上はδσＺである
事実8: そのステレオタイプは荒れ狂う
事実9: あの将軍達は紡ぐ
事実10: もし仮にあのエーロゾル濃度は目論むとすれば「あの積み立て不足額は目論まないが好中だ」ということは嘘である
事実11: もしもそのステレオタイプは紡ぐとすると「あのエーロゾル濃度は紡ぐしまた好中である」ということは誤っている
事実12: もしもこの筒抜けはδσＺだとすると「そのステレオタイプは紡ぐ」ということは正しい

仮説: 「もしもこの筒抜けがδσＺだとすればあの積み立て不足額は目論む」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この筒抜けはδσＺである
2. 事実12と仮定1から、推論1: "そのステレオタイプは紡ぐ"が導かれる
3. 推論1と事実1から、推論2: "「あのエーロゾル濃度は紡がないけどそれは好中である」ということは偽だ"が導かれる
4. 推論2と事実3から、推論3: "あの積み立て不足額は目論む"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。