「そのスペシャルサービスが感慨深いとするとこの総選挙時は趣旨だということはない」ということは間違いである
fact1: もしも「「感慨深い」ということは真実である」ものがあるならこの総選挙時は趣旨でない fact2: そのスペシャルサービスは趣旨である fact3: この総選挙時は趣旨である fact4: もしなんらかのものが趣旨だとするとこの総選挙時は感慨深くない fact5: 何らかの物は趣旨である fact6: もし仮にそのスペシャルサービスが感慨深いならばこの総選挙時は趣旨である fact7: 仮にこの総選挙時が感慨深いとすればそのスペシャルサービスは趣旨でない fact8: 「感慨深い」ものがあるとすればこの総選挙時は趣旨だ fact9: もし仮にそのストロンチウムが趣旨でないとしたらこの総選挙時は合わせ辛いし感慨深い fact10: もしも「雌雄な」ものがあればその人事評価要素は感慨深いということはない
void -> assump1: 以下のように仮定する。そのスペシャルサービスは感慨深い; assump1 -> int1: 感慨深い物はある; int1 & fact1 -> int2: この総選挙時は趣旨でない; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{aa}; assump1 -> int1: (Ex): {A}x; int1 & fact1 -> int2: ¬{B}{a}; [assump1] & int2 -> hypothesis;
「合わせ辛い」物はある
$facts$ = fact1: もしも「「感慨深い」ということは真実である」ものがあるならこの総選挙時は趣旨でない fact2: そのスペシャルサービスは趣旨である fact3: この総選挙時は趣旨である fact4: もしなんらかのものが趣旨だとするとこの総選挙時は感慨深くない fact5: 何らかの物は趣旨である fact6: もし仮にそのスペシャルサービスが感慨深いならばこの総選挙時は趣旨である fact7: 仮にこの総選挙時が感慨深いとすればそのスペシャルサービスは趣旨でない fact8: 「感慨深い」ものがあるとすればこの総選挙時は趣旨だ fact9: もし仮にそのストロンチウムが趣旨でないとしたらこの総選挙時は合わせ辛いし感慨深い fact10: もしも「雌雄な」ものがあればその人事評価要素は感慨深いということはない ; $hypothesis$ = 「そのスペシャルサービスが感慨深いとするとこの総選挙時は趣旨だということはない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。そのスペシャルサービスは感慨深い; assump1 -> int1: 感慨深い物はある; int1 & fact1 -> int2: この総選挙時は趣旨でない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしも「「感慨深い」ということは真実である」ものがあるならこの総選挙時は趣旨でない
事実2: そのスペシャルサービスは趣旨である
事実3: この総選挙時は趣旨である
事実4: もしなんらかのものが趣旨だとするとこの総選挙時は感慨深くない
事実5: 何らかの物は趣旨である
事実6: もし仮にそのスペシャルサービスが感慨深いならばこの総選挙時は趣旨である
事実7: 仮にこの総選挙時が感慨深いとすればそのスペシャルサービスは趣旨でない
事実8: 「感慨深い」ものがあるとすればこの総選挙時は趣旨だ
事実9: もし仮にそのストロンチウムが趣旨でないとしたらこの総選挙時は合わせ辛いし感慨深い
事実10: もしも「雌雄な」ものがあればその人事評価要素は感慨深いということはない

仮説: 「そのスペシャルサービスが感慨深いとするとこの総選挙時は趣旨だということはない」ということは間違いである
1. 仮定1: 以下のように仮定する。そのスペシャルサービスは感慨深い
2. 仮定1から、推論1: "感慨深い物はある"が導かれる
3. 推論1と事実1から、推論2: "この総選挙時は趣旨でない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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