「このまにゃまねLv.88は誘発し易いけど思わしいということはない」ということは誤っている
fact1: とあるモンスターが物悲しいということはないならばそれは熱し易くなくてその上それは頑是無い fact2: そのぽくぽにゅLv.37は思わしくないとしたら「そのぽくぽにゅLv.37は田舎臭くないししかも潔いということはない」ということは成り立たない fact3: もしもそのみゆみのLv.74が田舎臭いとするとこのぷのぷえLv.29は熱し易くない fact4: そのぽくぽにゅLv.37は頑是無くておまけに物悲しい fact5: 仮にそのもわもよLv.94が潔いとすればそのみゆみのLv.74は田舎臭い fact6: もしこのぷのぷえLv.29が熱し易くないならばこのまにゃまねLv.88は誘発し易いがしかしそれは思わしくない fact7: もしそのぽくぽにゅLv.37が物悲しいならそのもわもよLv.94は潔い fact8: それは頑是無くてそれは潔いというモンスターはない
fact4 -> int1: そのぽくぽにゅLv.37は物悲しい; int1 & fact7 -> int2: そのもわもよLv.94は潔い; int2 & fact5 -> int3: そのみゆみのLv.74は田舎臭い; int3 & fact3 -> int4: このぷのぷえLv.29は熱し易くない; int4 & fact6 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{c}; int3 & fact3 -> int4: ¬{E}{d}; int4 & fact6 -> hypothesis;
「このまにゃまねLv.88は誘発し易いけど思わしいということはない」ということは誤っている
fact9 -> int5: 「そのぽくぽにゅLv.37は頑是無くてまた潔い」ということは成り立たない;
$facts$ = fact1: とあるモンスターが物悲しいということはないならばそれは熱し易くなくてその上それは頑是無い fact2: そのぽくぽにゅLv.37は思わしくないとしたら「そのぽくぽにゅLv.37は田舎臭くないししかも潔いということはない」ということは成り立たない fact3: もしもそのみゆみのLv.74が田舎臭いとするとこのぷのぷえLv.29は熱し易くない fact4: そのぽくぽにゅLv.37は頑是無くておまけに物悲しい fact5: 仮にそのもわもよLv.94が潔いとすればそのみゆみのLv.74は田舎臭い fact6: もしこのぷのぷえLv.29が熱し易くないならばこのまにゃまねLv.88は誘発し易いがしかしそれは思わしくない fact7: もしそのぽくぽにゅLv.37が物悲しいならそのもわもよLv.94は潔い fact8: それは頑是無くてそれは潔いというモンスターはない ; $hypothesis$ = 「このまにゃまねLv.88は誘発し易いけど思わしいということはない」ということは誤っている ; $proof$ = 
fact4 -> int1: そのぽくぽにゅLv.37は物悲しい; int1 & fact7 -> int2: そのもわもよLv.94は潔い; int2 & fact5 -> int3: そのみゆみのLv.74は田舎臭い; int3 & fact3 -> int4: このぷのぷえLv.29は熱し易くない; int4 & fact6 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{c}; int3 & fact3 -> int4: ¬{E}{d}; int4 & fact6 -> hypothesis; __DISPROVED__