そのまねまちょLv.19は遣る瀬無くない
fact1: もし仮にこのぽのぽよLv.79が返答しないとするとそのまねまちょLv.19は破れ難いしまた遣る瀬無い fact2: 仮に「このぽのぽよLv.79は遣る瀬無くない」ということは真実であるならそのまねまちょLv.19は返答する fact3: そのまねまちょLv.19は返答する fact4: そのまくまにLv.93は破れ難い fact5: このぽのぽよLv.79は返答しない
fact1 & fact5 -> int1: そのまねまちょLv.19は破れ難いし遣る瀬無い; int1 -> hypothesis;
fact1 & fact5 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis;
$facts$ = fact1: もし仮にこのぽのぽよLv.79が返答しないとするとそのまねまちょLv.19は破れ難いしまた遣る瀬無い fact2: 仮に「このぽのぽよLv.79は遣る瀬無くない」ということは真実であるならそのまねまちょLv.19は返答する fact3: そのまねまちょLv.19は返答する fact4: そのまくまにLv.93は破れ難い fact5: このぽのぽよLv.79は返答しない ; $hypothesis$ = そのまねまちょLv.19は遣る瀬無くない ; $proof$ = 
fact1 & fact5 -> int1: そのまねまちょLv.19は破れ難いし遣る瀬無い; int1 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis; __DISPROVED__