あの緊急経済対策は苛々し易い
fact1: 仮に「「嘆かわしくないかもしくは泥濘むということはないかまたは両方ともだ」ということは嘘な」ものがあるとすればあの緊急経済対策は苛々し易くない fact2: 仮にこの書留が自給するとすればあの緊急経済対策は苛々し易い一方でそれは逃げ果せない fact3: 「「泥濘む」ということは成り立つ」ものはある fact4: 「あのコーポレートカルチャーは嘆かわしくないかもしくはそれは泥濘むないかあるいは両方ともだ」ということは誤りだ fact5: 「「嘆かわしいということはないかあるいは泥濘むかまたはどちらもである」ということは誤りである」物はある
fact4 -> int1: 「「嘆かわしいということはないかもしくは泥濘むないかあるいは両方ともだ」ということは間違っている」物はある; int1 & fact1 -> hypothesis;
fact4 -> int1: (Ex): ¬(¬{AA}x v ¬{AB}x); int1 & fact1 -> hypothesis;
あの緊急経済対策は苛々し易い
$facts$ = fact1: 仮に「「嘆かわしくないかもしくは泥濘むということはないかまたは両方ともだ」ということは嘘な」ものがあるとすればあの緊急経済対策は苛々し易くない fact2: 仮にこの書留が自給するとすればあの緊急経済対策は苛々し易い一方でそれは逃げ果せない fact3: 「「泥濘む」ということは成り立つ」ものはある fact4: 「あのコーポレートカルチャーは嘆かわしくないかもしくはそれは泥濘むないかあるいは両方ともだ」ということは誤りだ fact5: 「「嘆かわしいということはないかあるいは泥濘むかまたはどちらもである」ということは誤りである」物はある ; $hypothesis$ = あの緊急経済対策は苛々し易い ; $proof$ = 
fact4 -> int1: 「「嘆かわしいということはないかもしくは泥濘むないかあるいは両方ともだ」ということは間違っている」物はある; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「「嘆かわしくないかもしくは泥濘むということはないかまたは両方ともだ」ということは嘘な」ものがあるとすればあの緊急経済対策は苛々し易くない
事実2: 仮にこの書留が自給するとすればあの緊急経済対策は苛々し易い一方でそれは逃げ果せない
事実3: 「「泥濘む」ということは成り立つ」ものはある
事実4: 「あのコーポレートカルチャーは嘆かわしくないかもしくはそれは泥濘むないかあるいは両方ともだ」ということは誤りだ
事実5: 「「嘆かわしいということはないかあるいは泥濘むかまたはどちらもである」ということは誤りである」物はある

仮説: あの緊急経済対策は苛々し易い
1. 事実4から、推論1: "「「嘆かわしいということはないかもしくは泥濘むないかあるいは両方ともだ」ということは間違っている」物はある"が導かれる
2. 推論1と事実1から、仮説が否定される

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