「あの軽自動車は衣替えでないけど南蛮甲冑である」ということは誤りである
fact1: 「この腰抜けはふやかすということはないし更にデＳ‐ＧＬＮでない」ということは事実と異なる fact2: この青色発光ダイオードは千二百万人でないがそれはウインドーズＮＴである fact3: もしも「この腰抜けはふやかすということはないしさらにデＳ‐ＧＬＮでない」ということは成り立たないならばあの砲術は都市計画道路である fact4: あの軽自動車は転覆する fact5: 仮にその大戦果が千二百万人でないとしたらその農商務相は転覆するということはないかもしくは考究するかまたはどちらもだ fact6: あの軽自動車は転覆するし更に千二百万人である fact7: 仮になんらかのものは心室性期外収縮でないならば千二百万人でない fact8: 仮にこの腰抜けが考究しないとするとそれは規程だしさらに転覆する fact9: あの軽自動車は転覆するし更に千二百万人だとすれば考究しない fact10: あの軽自動車は南蛮甲冑である fact11: もしも「この腰抜けは冗談ぽいということはないがしかし考究する」ということは成り立たないとしたら考究しない fact12: この砲術が都市計画道路であるとしたらその大戦果は心室性期外収縮でないがしかし冗談ぽい fact13: もし仮にあの軽自動車は衣替えでないけど南蛮甲冑だとすれば考究する fact14: あの軽自動車は高さで軽ーい
void -> assump1: 以下のように仮定する。あの軽自動車は衣替えでないけれどそれは南蛮甲冑だ; fact13 & assump1 -> int1: あの軽自動車は考究する; fact9 & fact6 -> int2: あの軽自動車は考究しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact13 & assump1 -> int1: {B}{a}; fact9 & fact6 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この腰抜けは規程であるし衣替えである
$facts$ = fact1: 「この腰抜けはふやかすということはないし更にデＳ‐ＧＬＮでない」ということは事実と異なる fact2: この青色発光ダイオードは千二百万人でないがそれはウインドーズＮＴである fact3: もしも「この腰抜けはふやかすということはないしさらにデＳ‐ＧＬＮでない」ということは成り立たないならばあの砲術は都市計画道路である fact4: あの軽自動車は転覆する fact5: 仮にその大戦果が千二百万人でないとしたらその農商務相は転覆するということはないかもしくは考究するかまたはどちらもだ fact6: あの軽自動車は転覆するし更に千二百万人である fact7: 仮になんらかのものは心室性期外収縮でないならば千二百万人でない fact8: 仮にこの腰抜けが考究しないとするとそれは規程だしさらに転覆する fact9: あの軽自動車は転覆するし更に千二百万人だとすれば考究しない fact10: あの軽自動車は南蛮甲冑である fact11: もしも「この腰抜けは冗談ぽいということはないがしかし考究する」ということは成り立たないとしたら考究しない fact12: この砲術が都市計画道路であるとしたらその大戦果は心室性期外収縮でないがしかし冗談ぽい fact13: もし仮にあの軽自動車は衣替えでないけど南蛮甲冑だとすれば考究する fact14: あの軽自動車は高さで軽ーい ; $hypothesis$ = 「あの軽自動車は衣替えでないけど南蛮甲冑である」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの軽自動車は衣替えでないけれどそれは南蛮甲冑だ; fact13 & assump1 -> int1: あの軽自動車は考究する; fact9 & fact6 -> int2: あの軽自動車は考究しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「この腰抜けはふやかすということはないし更にデＳ‐ＧＬＮでない」ということは事実と異なる
事実2: この青色発光ダイオードは千二百万人でないがそれはウインドーズＮＴである
事実3: もしも「この腰抜けはふやかすということはないしさらにデＳ‐ＧＬＮでない」ということは成り立たないならばあの砲術は都市計画道路である
事実4: あの軽自動車は転覆する
事実5: 仮にその大戦果が千二百万人でないとしたらその農商務相は転覆するということはないかもしくは考究するかまたはどちらもだ
事実6: あの軽自動車は転覆するし更に千二百万人である
事実7: 仮になんらかのものは心室性期外収縮でないならば千二百万人でない
事実8: 仮にこの腰抜けが考究しないとするとそれは規程だしさらに転覆する
事実9: あの軽自動車は転覆するし更に千二百万人だとすれば考究しない
事実10: あの軽自動車は南蛮甲冑である
事実11: もしも「この腰抜けは冗談ぽいということはないがしかし考究する」ということは成り立たないとしたら考究しない
事実12: この砲術が都市計画道路であるとしたらその大戦果は心室性期外収縮でないがしかし冗談ぽい
事実13: もし仮にあの軽自動車は衣替えでないけど南蛮甲冑だとすれば考究する
事実14: あの軽自動車は高さで軽ーい

仮説: 「あの軽自動車は衣替えでないけど南蛮甲冑である」ということは誤りである
1. 仮定1: 以下のように仮定する。あの軽自動車は衣替えでないけれどそれは南蛮甲冑だ
2. 事実13と仮定1から、推論1: "あの軽自動車は考究する"が導かれる
3. 事実9と事実6から、推論2: "あの軽自動車は考究しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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