もしもあの二十一．二二ＥＶは社外流出しないなら「この入院者は馬鹿でかいけれど各業者でない」ということは成り立たない
fact1: もしあの二十一．二二ＥＶは各業者でないとすると「この入院者は馬鹿でかい一方で各業者でない」ということは間違っている fact2: 仮に「ある物は心細いけれど朝時代だということはない」ということは間違いであるならそれは馬鹿でかくない fact3: 「あの二十一．二二ＥＶは各業者であるし馬鹿でかい」ということは成り立つということはない fact4: 仮にあの二十一．二二ＥＶは各業者でないならば「この入院者は社外流出するけれど応急処置でない」ということは偽だ fact5: この入院者が応急処置でないならあの二十一．二二ＥＶは各業者だけど馬鹿でかくない fact6: この入院者は各業者でないなら「あの二十一．二二ＥＶは馬鹿でかいけど各業者でない」ということは成り立たない fact7: あの二十一．二二ＥＶは御濃くない fact8: もし仮にこの入院者が社外流出しないとしたらあの二十一．二二ＥＶは各業者だがしかし社外流出しない fact9: あの二十一．二二ＥＶは馬鹿でかいということはない fact10: あの二十一．二二ＥＶは応急処置であるということはない fact11: 仮に「あの二十一．二二ＥＶは社外流出するが応急処置でない」ということは間違っているならそれは各業者でない
void -> assump2: 以下のように仮定する。あの二十一．二二ＥＶは社外流出する一方で応急処置だということはない; assump2 -> int1: あの二十一．二二ＥＶは社外流出する; void -> assump1: 以下のように仮定する。あの二十一．二二ＥＶは社外流出しない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの二十一．二二ＥＶは社外流出するが応急処置でない」ということは間違いである; int3 & fact11 -> int4: あの二十一．二二ＥＶは各業者でない; int4 & fact1 -> int5: 「この入院者は馬鹿でかいけれど各業者でない」ということは偽である; [assump1] & int5 -> hypothesis;
もしも「その手抜き工事は心細いが朝時代でない」ということは成り立たないとすると馬鹿でかくない
fact12 -> hypothesis;
$facts$ = fact1: もしあの二十一．二二ＥＶは各業者でないとすると「この入院者は馬鹿でかい一方で各業者でない」ということは間違っている fact2: 仮に「ある物は心細いけれど朝時代だということはない」ということは間違いであるならそれは馬鹿でかくない fact3: 「あの二十一．二二ＥＶは各業者であるし馬鹿でかい」ということは成り立つということはない fact4: 仮にあの二十一．二二ＥＶは各業者でないならば「この入院者は社外流出するけれど応急処置でない」ということは偽だ fact5: この入院者が応急処置でないならあの二十一．二二ＥＶは各業者だけど馬鹿でかくない fact6: この入院者は各業者でないなら「あの二十一．二二ＥＶは馬鹿でかいけど各業者でない」ということは成り立たない fact7: あの二十一．二二ＥＶは御濃くない fact8: もし仮にこの入院者が社外流出しないとしたらあの二十一．二二ＥＶは各業者だがしかし社外流出しない fact9: あの二十一．二二ＥＶは馬鹿でかいということはない fact10: あの二十一．二二ＥＶは応急処置であるということはない fact11: 仮に「あの二十一．二二ＥＶは社外流出するが応急処置でない」ということは間違っているならそれは各業者でない ; $hypothesis$ = もしもあの二十一．二二ＥＶは社外流出しないなら「この入院者は馬鹿でかいけれど各業者でない」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの二十一．二二ＥＶは社外流出する一方で応急処置だということはない; assump2 -> int1: あの二十一．二二ＥＶは社外流出する; void -> assump1: 以下のように仮定する。あの二十一．二二ＥＶは社外流出しない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの二十一．二二ＥＶは社外流出するが応急処置でない」ということは間違いである; int3 & fact11 -> int4: あの二十一．二二ＥＶは各業者でない; int4 & fact1 -> int5: 「この入院者は馬鹿でかいけれど各業者でない」ということは偽である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしあの二十一．二二ＥＶは各業者でないとすると「この入院者は馬鹿でかい一方で各業者でない」ということは間違っている
事実2: 仮に「ある物は心細いけれど朝時代だということはない」ということは間違いであるならそれは馬鹿でかくない
事実3: 「あの二十一．二二ＥＶは各業者であるし馬鹿でかい」ということは成り立つということはない
事実4: 仮にあの二十一．二二ＥＶは各業者でないならば「この入院者は社外流出するけれど応急処置でない」ということは偽だ
事実5: この入院者が応急処置でないならあの二十一．二二ＥＶは各業者だけど馬鹿でかくない
事実6: この入院者は各業者でないなら「あの二十一．二二ＥＶは馬鹿でかいけど各業者でない」ということは成り立たない
事実7: あの二十一．二二ＥＶは御濃くない
事実8: もし仮にこの入院者が社外流出しないとしたらあの二十一．二二ＥＶは各業者だがしかし社外流出しない
事実9: あの二十一．二二ＥＶは馬鹿でかいということはない
事実10: あの二十一．二二ＥＶは応急処置であるということはない
事実11: 仮に「あの二十一．二二ＥＶは社外流出するが応急処置でない」ということは間違っているならそれは各業者でない

仮説: もしもあの二十一．二二ＥＶは社外流出しないなら「この入院者は馬鹿でかいけれど各業者でない」ということは成り立たない
1. 仮定2: 以下のように仮定する。あの二十一．二二ＥＶは社外流出する一方で応急処置だということはない
2. 仮定2から、推論1: "あの二十一．二二ＥＶは社外流出する"が導かれる
3. 仮定1: 以下のように仮定する。あの二十一．二二ＥＶは社外流出しない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「あの二十一．二二ＥＶは社外流出するが応急処置でない」ということは間違いである"が導かれる
6. 推論3と事実11から、推論4: "あの二十一．二二ＥＶは各業者でない"が導かれる
7. 推論4と事実1から、推論5: "「この入院者は馬鹿でかいけれど各業者でない」ということは偽である"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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