そのぷのぷやLv.66は救い難い
fact1: そのぷのぷやLv.66は渦巻く fact2: 「そのぷのぷやLv.66は付着し易くてかつ分かり難い」ということは正しい fact3: すべてのモンスターは幼けなくない fact4: このみゆみにゃLv.49は分かり難い fact5: もし仮にそのぷのぷやLv.66は分かり難くて渦巻くとすればそれは救い難くない fact6: 分かり難くないモンスターで渦巻くモンスターは付着し易い
fact2 -> int1: 「そのぷのぷやLv.66は分かり難い」ということは本当である; int1 & fact1 -> int2: そのぷのぷやLv.66は分かり難くてまた渦巻く; int2 & fact5 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact5 -> hypothesis;
そのぷのぷやLv.66は救い難い
fact8 -> int3: 仮にそのぷのぷやLv.66が分かり難くないけどそれが渦巻くとすればそのぷのぷやLv.66は付着し易い; fact7 -> int4: このもちゅもちゅLv.2は幼けなくない;
$facts$ = fact1: そのぷのぷやLv.66は渦巻く fact2: 「そのぷのぷやLv.66は付着し易くてかつ分かり難い」ということは正しい fact3: すべてのモンスターは幼けなくない fact4: このみゆみにゃLv.49は分かり難い fact5: もし仮にそのぷのぷやLv.66は分かり難くて渦巻くとすればそれは救い難くない fact6: 分かり難くないモンスターで渦巻くモンスターは付着し易い ; $hypothesis$ = そのぷのぷやLv.66は救い難い ; $proof$ = 
fact2 -> int1: 「そのぷのぷやLv.66は分かり難い」ということは本当である; int1 & fact1 -> int2: そのぷのぷやLv.66は分かり難くてまた渦巻く; int2 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact5 -> hypothesis; __DISPROVED__