あのライトは感慨深いということはない
fact1: 「あの企業戦略は呈示する」ということは真実である fact2: あの企業戦略は相違しない fact3: 哀れっぽくないものは感慨深い fact4: もしもあの企業戦略が相違するということはないならばそれは門前払いでない fact5: 感慨深いということはないものは相違する fact6: 仮にとあるものが相違しないとしたら哀れっぽくないかまたは門前払いでないか両方である fact7: あのライトは自由性でない fact8: もし仮にあのライトが哀れっぽいとしたらあの企業戦略は門前払いである
void -> assump1: 以下のように仮定する。あのライトは哀れっぽい; fact8 & assump1 -> int1: あの企業戦略は門前払いだ; fact2 & fact4 -> int2: あの企業戦略は門前払いでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのライトは哀れっぽくない; fact3 -> int5: あのライトは哀れっぽくないなら「感慨深い」ということは本当である; int4 & int5 -> hypothesis;
そのシロダーラは感慨深くない
fact9 -> int6: 仮にそのシロダーラが相違しないとすると哀れっぽいということはないかもしくはそれは門前払いでない;
$facts$ = fact1: 「あの企業戦略は呈示する」ということは真実である fact2: あの企業戦略は相違しない fact3: 哀れっぽくないものは感慨深い fact4: もしもあの企業戦略が相違するということはないならばそれは門前払いでない fact5: 感慨深いということはないものは相違する fact6: 仮にとあるものが相違しないとしたら哀れっぽくないかまたは門前払いでないか両方である fact7: あのライトは自由性でない fact8: もし仮にあのライトが哀れっぽいとしたらあの企業戦略は門前払いである ; $hypothesis$ = あのライトは感慨深いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのライトは哀れっぽい; fact8 & assump1 -> int1: あの企業戦略は門前払いだ; fact2 & fact4 -> int2: あの企業戦略は門前払いでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのライトは哀れっぽくない; fact3 -> int5: あのライトは哀れっぽくないなら「感慨深い」ということは本当である; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 「あの企業戦略は呈示する」ということは真実である
事実2: あの企業戦略は相違しない
事実3: 哀れっぽくないものは感慨深い
事実4: もしもあの企業戦略が相違するということはないならばそれは門前払いでない
事実5: 感慨深いということはないものは相違する
事実6: 仮にとあるものが相違しないとしたら哀れっぽくないかまたは門前払いでないか両方である
事実7: あのライトは自由性でない
事実8: もし仮にあのライトが哀れっぽいとしたらあの企業戦略は門前払いである

仮説: あのライトは感慨深いということはない
1. 仮定1: 以下のように仮定する。あのライトは哀れっぽい
2. 事実8と仮定1から、推論1: "あの企業戦略は門前払いだ"が導かれる
3. 事実2と事実4から、推論2: "あの企業戦略は門前払いでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのライトは哀れっぽくない"が導かれる
6. 事実3から、推論5: "あのライトは哀れっぽくないなら「感慨深い」ということは本当である"が導かれる
7. 推論4と推論5から、仮説が否定される

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