「このぷねぷねLv.47は常連らしくない」ということは誤っているということはない
fact1: このぷねぷねLv.47が遠しとしたらそれは弛み無い fact2: 仮に「なんらかのモンスターは哀れっぽいししかも常連らしい」ということは本当でないとしたら常連らしいということはない fact3: このぷねぷねLv.47は遠し fact4: このぷねぷねLv.47は伸さない fact5: もしこのぷねぷねLv.47は伸さないとすると「そのもやもなLv.16は哀れっぽいしその上常連らしい」ということは誤っている fact6: もしもこのぷねぷねLv.47が確認し難いなら常連らしい fact7: もしもこのぷねぷねLv.47が弛み無いとしたらこのぷねぷねLv.47は確認し難い
fact1 & fact3 -> int1: このぷねぷねLv.47は弛み無い; int1 & fact7 -> int2: このぷねぷねLv.47は確認し難い; int2 & fact6 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
そのもやもなLv.16は弛み無い
fact8 -> int3: 仮に「そのもやもなLv.16は哀れっぽくてさらに常連らしい」ということは誤っているなら常連らしいということはない; fact10 & fact9 -> int4: 「「そのもやもなLv.16は哀れっぽくて常連らしい」ということは間違いである」ということは事実である; int3 & int4 -> int5: そのもやもなLv.16は常連らしくない;
$facts$ = fact1: このぷねぷねLv.47が遠しとしたらそれは弛み無い fact2: 仮に「なんらかのモンスターは哀れっぽいししかも常連らしい」ということは本当でないとしたら常連らしいということはない fact3: このぷねぷねLv.47は遠し fact4: このぷねぷねLv.47は伸さない fact5: もしこのぷねぷねLv.47は伸さないとすると「そのもやもなLv.16は哀れっぽいしその上常連らしい」ということは誤っている fact6: もしもこのぷねぷねLv.47が確認し難いなら常連らしい fact7: もしもこのぷねぷねLv.47が弛み無いとしたらこのぷねぷねLv.47は確認し難い ; $hypothesis$ = 「このぷねぷねLv.47は常連らしくない」ということは誤っているということはない ; $proof$ = 
fact1 & fact3 -> int1: このぷねぷねLv.47は弛み無い; int1 & fact7 -> int2: このぷねぷねLv.47は確認し難い; int2 & fact6 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact6 -> hypothesis; __DISPROVED__