「このみわみにゃLv.41は破れ難くないがしかし塩辛い」ということは誤りだ
fact1: あのぷちょぷにょLv.90は考え深い fact2: もしこのもちゃもにゅLv.29が寂しいし更に取り易いならばこのみわみにゃLv.41は破れ難くない fact3: 仮になんらかのモンスターは寂しくないなら「破れ難いということはないが塩辛い」ということは成り立つということはない fact4: もし仮にあのぷちょぷにょLv.90が考え深いとすればこのもちゃもにゅLv.29は取り易い fact5: このもちゃもにゅLv.29は寂しい fact6: このみわみにゃLv.41は塩辛い
fact4 & fact1 -> int1: このもちゃもにゅLv.29は取り易い; fact5 & int1 -> int2: このもちゃもにゅLv.29は寂しくて加えて取り易い; int2 & fact2 -> int3: このみわみにゃLv.41は破れ難くない; int3 & fact6 -> hypothesis;
fact4 & fact1 -> int1: {B}{a}; fact5 & int1 -> int2: ({A}{a} & {B}{a}); int2 & fact2 -> int3: ¬{C}{b}; int3 & fact6 -> hypothesis;
「このみわみにゃLv.41は破れ難くないがしかし塩辛い」ということは誤りだ
fact7 -> int4: もしもこのみわみにゃLv.41は寂しくないとすると「それは破れ難くないしまた塩辛い」ということは成り立たない;
$facts$ = fact1: あのぷちょぷにょLv.90は考え深い fact2: もしこのもちゃもにゅLv.29が寂しいし更に取り易いならばこのみわみにゃLv.41は破れ難くない fact3: 仮になんらかのモンスターは寂しくないなら「破れ難いということはないが塩辛い」ということは成り立つということはない fact4: もし仮にあのぷちょぷにょLv.90が考え深いとすればこのもちゃもにゅLv.29は取り易い fact5: このもちゃもにゅLv.29は寂しい fact6: このみわみにゃLv.41は塩辛い ; $hypothesis$ = 「このみわみにゃLv.41は破れ難くないがしかし塩辛い」ということは誤りだ ; $proof$ = 
fact4 & fact1 -> int1: このもちゃもにゅLv.29は取り易い; fact5 & int1 -> int2: このもちゃもにゅLv.29は寂しくて加えて取り易い; int2 & fact2 -> int3: このみわみにゃLv.41は破れ難くない; int3 & fact6 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}{a}; fact5 & int1 -> int2: ({A}{a} & {B}{a}); int2 & fact2 -> int3: ¬{C}{b}; int3 & fact6 -> hypothesis; __DISPROVED__