あのみちゅみにょLv.85は買い入れる
fact1: 「大人らしいモンスターは買い入れる」ということは本当である fact2: そのぴねぴわLv.26は大人らしい fact3: しんどくないモンスターは無いししかも大人らしい fact4: そのぴねぴわLv.26がしんどくてかつそれが無いとすればあのみちゅみにょLv.85は買い入れない fact5: 仮にあのみちゅみにょLv.85がしんどいし買い入れるとしたらそのぴねぴわLv.26は無くない fact6: もしそのまゆまよLv.73が親しみ易くないならそのぴねぴわLv.26は馴染み易くてそれはしんどい fact7: そのぴねぴわLv.26はしんどい fact8: 仮にそのぴねぴわLv.26が大人らしいとすると無い
fact8 & fact2 -> int1: そのぴねぴわLv.26は無い; int1 & fact7 -> int2: そのぴねぴわLv.26はしんどいし無い; int2 & fact4 -> hypothesis;
fact8 & fact2 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{a} & {B}{a}); int2 & fact4 -> hypothesis;
あのみちゅみにょLv.85は買い入れる
fact9 -> int3: もし仮にあのみちゅみにょLv.85が大人らしいとすればそれは買い入れる; fact11 -> int4: 仮にあのみちゅみにょLv.85がしんどくないならばあのみちゅみにょLv.85は無いしおまけにそれは大人らしい;
$facts$ = fact1: 「大人らしいモンスターは買い入れる」ということは本当である fact2: そのぴねぴわLv.26は大人らしい fact3: しんどくないモンスターは無いししかも大人らしい fact4: そのぴねぴわLv.26がしんどくてかつそれが無いとすればあのみちゅみにょLv.85は買い入れない fact5: 仮にあのみちゅみにょLv.85がしんどいし買い入れるとしたらそのぴねぴわLv.26は無くない fact6: もしそのまゆまよLv.73が親しみ易くないならそのぴねぴわLv.26は馴染み易くてそれはしんどい fact7: そのぴねぴわLv.26はしんどい fact8: 仮にそのぴねぴわLv.26が大人らしいとすると無い ; $hypothesis$ = あのみちゅみにょLv.85は買い入れる ; $proof$ = 
fact8 & fact2 -> int1: そのぴねぴわLv.26は無い; int1 & fact7 -> int2: そのぴねぴわLv.26はしんどいし無い; int2 & fact4 -> hypothesis; __DISPROVED__
fact8 & fact2 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{a} & {B}{a}); int2 & fact4 -> hypothesis; __DISPROVED__