「そのぽなぽゆLv.46は言及すかもしくはそれは療養するかもしくは両方ともである」ということは成り立たない
fact1: そのもねもやLv.8は取り掛かり易くておまけにそれは形成し易い fact2: 「考え辛い」モンスターはいる fact3: そのもねもやLv.8は考え辛い fact4: あるモンスターは形成し易い fact5: もし仮に形成し易いし考え辛いモンスターがいるとするとそのぽなぽゆLv.46は言及す
fact1 -> int1: そのもねもやLv.8は形成し易い; int1 & fact3 -> int2: そのもねもやLv.8は形成し易いししかも考え辛い; int2 -> int3: とあるモンスターは形成し易くてかつ考え辛い; int3 & fact5 -> int4: そのぽなぽゆLv.46は言及す; int4 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact5 -> int4: {D}{b}; int4 -> hypothesis;
$facts$ = fact1: そのもねもやLv.8は取り掛かり易くておまけにそれは形成し易い fact2: 「考え辛い」モンスターはいる fact3: そのもねもやLv.8は考え辛い fact4: あるモンスターは形成し易い fact5: もし仮に形成し易いし考え辛いモンスターがいるとするとそのぽなぽゆLv.46は言及す ; $hypothesis$ = 「そのぽなぽゆLv.46は言及すかもしくはそれは療養するかもしくは両方ともである」ということは成り立たない ; $proof$ = 
fact1 -> int1: そのもねもやLv.8は形成し易い; int1 & fact3 -> int2: そのもねもやLv.8は形成し易いししかも考え辛い; int2 -> int3: とあるモンスターは形成し易くてかつ考え辛い; int3 & fact5 -> int4: そのぽなぽゆLv.46は言及す; int4 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact5 -> int4: {D}{b}; int4 -> hypothesis; __DISPROVED__