「あのキャッシュ化は成立・発展する一方で不仲であるということはない」ということは誤っている
fact1: もし「油っぽくない」物があるとするとその階乗は貸し為さる fact2: その階乗は貸し為さる fact3: 「油っぽいということはない」物はある fact4: 「もしこの公序良俗が成立・発展するということはないならあのキャッシュ化は成立・発展する一方で不仲だということはない」ということは本当である fact5: なにがしかのものが油っぽくないとしたらその階乗が貸し為さるしその上それは新しい fact6: その階乗が貸し為さるししかもそれが新しいとするとこの公序良俗は成立・発展するということはない
fact3 & fact5 -> int1: その階乗は貸し為さるしそれに新しい; int1 & fact6 -> int2: この公序良俗は成立・発展しない; int2 & fact4 -> hypothesis;
fact3 & fact5 -> int1: ({B}{a} & {C}{a}); int1 & fact6 -> int2: ¬{D}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もし「油っぽくない」物があるとするとその階乗は貸し為さる fact2: その階乗は貸し為さる fact3: 「油っぽいということはない」物はある fact4: 「もしこの公序良俗が成立・発展するということはないならあのキャッシュ化は成立・発展する一方で不仲だということはない」ということは本当である fact5: なにがしかのものが油っぽくないとしたらその階乗が貸し為さるしその上それは新しい fact6: その階乗が貸し為さるししかもそれが新しいとするとこの公序良俗は成立・発展するということはない ; $hypothesis$ = 「あのキャッシュ化は成立・発展する一方で不仲であるということはない」ということは誤っている ; $proof$ = 
fact3 & fact5 -> int1: その階乗は貸し為さるしそれに新しい; int1 & fact6 -> int2: この公序良俗は成立・発展しない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: もし「油っぽくない」物があるとするとその階乗は貸し為さる
事実2: その階乗は貸し為さる
事実3: 「油っぽいということはない」物はある
事実4: 「もしこの公序良俗が成立・発展するということはないならあのキャッシュ化は成立・発展する一方で不仲だということはない」ということは本当である
事実5: なにがしかのものが油っぽくないとしたらその階乗が貸し為さるしその上それは新しい
事実6: その階乗が貸し為さるししかもそれが新しいとするとこの公序良俗は成立・発展するということはない

仮説: 「あのキャッシュ化は成立・発展する一方で不仲であるということはない」ということは誤っている
1. 事実3と事実5から、推論1: "その階乗は貸し為さるしそれに新しい"が導かれる
2. 推論1と事実6から、推論2: "この公序良俗は成立・発展しない"が導かれる
3. 推論2と事実4から、仮説が否定される

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