そのヘーゲル哲学は高齢化するけれど学業不振だということはない
fact1: もし仮に「あの里は争えるしその上吉本キューブである」ということは本当ならそのヘーゲル哲学は争えない fact2: あの里は吉本キューブでない fact3: あの里は争えるけれど吉本キューブでない fact4: あの里が争えるがそれが吉本キューブでないならばそのヘーゲル哲学は争えるということはない fact5: もし仮にとあるものは争えないとすれば「「高齢化するがしかし学業不振でない」ということは事実だ」ということは誤っている
fact5 -> int1: 「そのヘーゲル哲学は争えないとすれば「そのヘーゲル哲学は高齢化するけれど学業不振でない」ということは誤りだ」ということは誤りでない; fact3 & fact4 -> int2: そのヘーゲル哲学は争えない; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮に「あの里は争えるしその上吉本キューブである」ということは本当ならそのヘーゲル哲学は争えない fact2: あの里は吉本キューブでない fact3: あの里は争えるけれど吉本キューブでない fact4: あの里が争えるがそれが吉本キューブでないならばそのヘーゲル哲学は争えるということはない fact5: もし仮にとあるものは争えないとすれば「「高齢化するがしかし学業不振でない」ということは事実だ」ということは誤っている ; $hypothesis$ = そのヘーゲル哲学は高齢化するけれど学業不振だということはない ; $proof$ = 
fact5 -> int1: 「そのヘーゲル哲学は争えないとすれば「そのヘーゲル哲学は高齢化するけれど学業不振でない」ということは誤りだ」ということは誤りでない; fact3 & fact4 -> int2: そのヘーゲル哲学は争えない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの里は争えるしその上吉本キューブである」ということは本当ならそのヘーゲル哲学は争えない
事実2: あの里は吉本キューブでない
事実3: あの里は争えるけれど吉本キューブでない
事実4: あの里が争えるがそれが吉本キューブでないならばそのヘーゲル哲学は争えるということはない
事実5: もし仮にとあるものは争えないとすれば「「高齢化するがしかし学業不振でない」ということは事実だ」ということは誤っている

仮説: そのヘーゲル哲学は高齢化するけれど学業不振だということはない
1. 事実5から、推論1: "「そのヘーゲル哲学は争えないとすれば「そのヘーゲル哲学は高齢化するけれど学業不振でない」ということは誤りだ」ということは誤りでない"が導かれる
2. 事実3と事実4から、推論2: "そのヘーゲル哲学は争えない"が導かれる
3. 推論1と推論2から、仮説が否定される

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