その基本的考えは酸化し難い
fact1: もし仮にその基本的考えが真新しいとしたらそれは帝国大学である fact2: その基本的考えは真新しい fact3: もしも究極は帝国大学であるなら「それは酸化し難くない」ということは正しい fact4: その基本的考えは究極でまたプロらしい
fact1 & fact2 -> int1: その基本的考えは帝国大学である; fact4 -> int2: その基本的考えは究極である; int1 & int2 -> int3: その基本的考えは究極であるしおまけにそれは帝国大学である; fact3 -> int4: もし仮にその基本的考えが究極であるしまたそれは帝国大学であるなら酸化し難くない; int3 & int4 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; fact4 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); fact3 -> int4: ({C}{a} & {B}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: もし仮にその基本的考えが真新しいとしたらそれは帝国大学である fact2: その基本的考えは真新しい fact3: もしも究極は帝国大学であるなら「それは酸化し難くない」ということは正しい fact4: その基本的考えは究極でまたプロらしい ; $hypothesis$ = その基本的考えは酸化し難い ; $proof$ = 
fact1 & fact2 -> int1: その基本的考えは帝国大学である; fact4 -> int2: その基本的考えは究極である; int1 & int2 -> int3: その基本的考えは究極であるしおまけにそれは帝国大学である; fact3 -> int4: もし仮にその基本的考えが究極であるしまたそれは帝国大学であるなら酸化し難くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にその基本的考えが真新しいとしたらそれは帝国大学である
事実2: その基本的考えは真新しい
事実3: もしも究極は帝国大学であるなら「それは酸化し難くない」ということは正しい
事実4: その基本的考えは究極でまたプロらしい

仮説: その基本的考えは酸化し難い
1. 事実1と事実2から、推論1: "その基本的考えは帝国大学である"が導かれる
2. 事実4から、推論2: "その基本的考えは究極である"が導かれる
3. 推論1と推論2から、推論3: "その基本的考えは究極であるしおまけにそれは帝国大学である"が導かれる
4. 事実3から、推論4: "もし仮にその基本的考えが究極であるしまたそれは帝国大学であるなら酸化し難くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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