あのまくまくLv.38は罪悪視しない
fact1: このぷくぷいLv.22は罪悪視する fact2: あのまくまくLv.38は記載・記録する fact3: このまなまにゅLv.57は記載・記録する fact4: あのぷのぷくLv.70が起き始めないがしかし把握し易いならばあのぷのぷくLv.70は哀れっぽくない fact5: 哀れっぽいモンスターでさらに記載・記録しないモンスターは罪悪視しない fact6: 「「あのまくまくLv.38は記載・記録する」ということは嘘でないとするとあのまくまくLv.38は罪悪視する」ということは本当だ fact7: あのまくまくLv.38はちっちゃい
fact2 -> int1: あのまくまくLv.38は記載・記録する; int1 & fact6 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact6 -> hypothesis;
あのぷのぷくLv.70は記載・記録する
$facts$ = fact1: このぷくぷいLv.22は罪悪視する fact2: あのまくまくLv.38は記載・記録する fact3: このまなまにゅLv.57は記載・記録する fact4: あのぷのぷくLv.70が起き始めないがしかし把握し易いならばあのぷのぷくLv.70は哀れっぽくない fact5: 哀れっぽいモンスターでさらに記載・記録しないモンスターは罪悪視しない fact6: 「「あのまくまくLv.38は記載・記録する」ということは嘘でないとするとあのまくまくLv.38は罪悪視する」ということは本当だ fact7: あのまくまくLv.38はちっちゃい ; $hypothesis$ = あのまくまくLv.38は罪悪視しない ; $proof$ = 
fact2 -> int1: あのまくまくLv.38は記載・記録する; int1 & fact6 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact6 -> hypothesis; __DISPROVED__