このもねもちょLv.53は形成され易いかあるいは間近いかまたはどちらもである
fact1: 仮にあのまくまちゅLv.84が確定出来ないとするとあのまくまちゅLv.84は生々しいしまた生み難い fact2: 仮にあのまくまちゅLv.84は確定出来るということはないなら「生み難い」ということは事実である fact3: もし何らかのモンスターは生々しくないとすると「形成され易いか間近い」ということは事実でない fact4: もしあのまくまちゅLv.84が生々しいとしたらこのもねもちょLv.53は間近い fact5: あのまくまちゅLv.84は確定出来ない
fact5 & fact1 -> int1: あのまくまちゅLv.84は生々しくてさらに生み難い; int1 -> int2: あのまくまちゅLv.84は生々しい; int2 & fact4 -> int3: このもねもちょLv.53は間近い; int3 -> hypothesis;
fact5 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{b}; int3 -> hypothesis;
「このもねもちょLv.53は形成され易いかもしくは間近いか両方ともだ」ということは本当であるということはない
fact6 -> int4: もしこのもねもちょLv.53は生々しくないならば「このもねもちょLv.53は形成され易いかもしくは間近いか両方だ」ということは本当でない;
$facts$ = fact1: 仮にあのまくまちゅLv.84が確定出来ないとするとあのまくまちゅLv.84は生々しいしまた生み難い fact2: 仮にあのまくまちゅLv.84は確定出来るということはないなら「生み難い」ということは事実である fact3: もし何らかのモンスターは生々しくないとすると「形成され易いか間近い」ということは事実でない fact4: もしあのまくまちゅLv.84が生々しいとしたらこのもねもちょLv.53は間近い fact5: あのまくまちゅLv.84は確定出来ない ; $hypothesis$ = このもねもちょLv.53は形成され易いかあるいは間近いかまたはどちらもである ; $proof$ = 
fact5 & fact1 -> int1: あのまくまちゅLv.84は生々しくてさらに生み難い; int1 -> int2: あのまくまちゅLv.84は生々しい; int2 & fact4 -> int3: このもねもちょLv.53は間近い; int3 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{b}; int3 -> hypothesis; __PROVED__