「もし仮にあの市町村道がおっそろしならばこの恵みは古めかしくない」ということは嘘だ
fact1: 「持て男であるか住み易いかまたはどちらもである」ものはある fact2: 仮にあの市町村道がおっそろしとすると判断し難い一方で中退しない fact3: 何かは判断すかあるいは判断し難いかもしくは両方ともであるならばあの先物市場は古めかしくない fact4: 仮に「胸苦しい」ものがあるならこの恵みは古めかしくない fact5: もしもとある物が判断し難いけど中退しないならばその先物市場は判断す fact6: 仮にある物が判断し難いしその上中退するとしたらその先物市場は判断す fact7: もし「なにがしかのものは判断すかまたはそれは胸苦しい」ということは本当ならこの恵みは古めかしいということはない fact8: 「その先物市場は胸苦しいかあるいは古めかしくないかまたはどちらもだ」ということは事実と異なるとしたら判断すらない
void -> assump1: 以下のように仮定する。あの市町村道はおっそろし; fact2 & assump1 -> int1: あの市町村道は判断し難い一方で中退しない; int1 -> int2: なにかは判断し難いがしかし中退するということはない; int2 & fact5 -> int3: その先物市場は判断す; int3 -> int4: その先物市場は判断すかあるいはそれは胸苦しいか両方ともである; int4 -> int5: 「判断すかあるいは胸苦しいかどちらもな」ものはある; int5 & fact7 -> int6: この恵みは古めかしくない; [assump1] & int6 -> hypothesis;
その先物市場は中退する
$facts$ = fact1: 「持て男であるか住み易いかまたはどちらもである」ものはある fact2: 仮にあの市町村道がおっそろしとすると判断し難い一方で中退しない fact3: 何かは判断すかあるいは判断し難いかもしくは両方ともであるならばあの先物市場は古めかしくない fact4: 仮に「胸苦しい」ものがあるならこの恵みは古めかしくない fact5: もしもとある物が判断し難いけど中退しないならばその先物市場は判断す fact6: 仮にある物が判断し難いしその上中退するとしたらその先物市場は判断す fact7: もし「なにがしかのものは判断すかまたはそれは胸苦しい」ということは本当ならこの恵みは古めかしいということはない fact8: 「その先物市場は胸苦しいかあるいは古めかしくないかまたはどちらもだ」ということは事実と異なるとしたら判断すらない ; $hypothesis$ = 「もし仮にあの市町村道がおっそろしならばこの恵みは古めかしくない」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの市町村道はおっそろし; fact2 & assump1 -> int1: あの市町村道は判断し難い一方で中退しない; int1 -> int2: なにかは判断し難いがしかし中退するということはない; int2 & fact5 -> int3: その先物市場は判断す; int3 -> int4: その先物市場は判断すかあるいはそれは胸苦しいか両方ともである; int4 -> int5: 「判断すかあるいは胸苦しいかどちらもな」ものはある; int5 & fact7 -> int6: この恵みは古めかしくない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「持て男であるか住み易いかまたはどちらもである」ものはある
事実2: 仮にあの市町村道がおっそろしとすると判断し難い一方で中退しない
事実3: 何かは判断すかあるいは判断し難いかもしくは両方ともであるならばあの先物市場は古めかしくない
事実4: 仮に「胸苦しい」ものがあるならこの恵みは古めかしくない
事実5: もしもとある物が判断し難いけど中退しないならばその先物市場は判断す
事実6: 仮にある物が判断し難いしその上中退するとしたらその先物市場は判断す
事実7: もし「なにがしかのものは判断すかまたはそれは胸苦しい」ということは本当ならこの恵みは古めかしいということはない
事実8: 「その先物市場は胸苦しいかあるいは古めかしくないかまたはどちらもだ」ということは事実と異なるとしたら判断すらない

仮説: 「もし仮にあの市町村道がおっそろしならばこの恵みは古めかしくない」ということは嘘だ
1. 仮定1: 以下のように仮定する。あの市町村道はおっそろし
2. 事実2と仮定1から、推論1: "あの市町村道は判断し難い一方で中退しない"が導かれる
3. 推論1から、推論2: "なにかは判断し難いがしかし中退するということはない"が導かれる
4. 推論2と事実5から、推論3: "その先物市場は判断す"が導かれる
5. 推論3から、推論4: "その先物市場は判断すかあるいはそれは胸苦しいか両方ともである"が導かれる
6. 推論4から、推論5: "「判断すかあるいは胸苦しいかどちらもな」ものはある"が導かれる
7. 推論5と事実7から、推論6: "この恵みは古めかしくない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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