そのみちゅみわLv.84は免れ難い
fact1: そのみちゅみわLv.84は腑甲斐無い fact2: もしそのみちゅみわLv.84が再利用出来ないとするとそのみちゅみわLv.84は親しくない fact3: もしもそのみちゅみわLv.84が再利用出来ないとするとそのみちゅみわLv.84は親しいということはないししかも免れ難くない fact4: このまよまなLv.37は生臭い fact5: そのみちゅみわLv.84が痩せ難くてそれが腑甲斐無いとすれば再利用出来るということはない fact6: 腑甲斐無くないモンスターは痩せ難いししかも再利用出来る fact7: もしこのまよまなLv.37が生臭いとするとそのみちゅみわLv.84は痩せ難い fact8: そのみちゅみわLv.84は親しくない fact9: もしもそのぴよぴにLv.70が痩せ難いし再利用出来るならこのまよまなLv.37は痩せ難くない
fact7 & fact4 -> int1: そのみちゅみわLv.84は痩せ難い; int1 & fact1 -> int2: そのみちゅみわLv.84は痩せ難くて加えてそれは腑甲斐無い; int2 & fact5 -> int3: そのみちゅみわLv.84は再利用出来ない; int3 & fact3 -> int4: そのみちゅみわLv.84は親しいということはないしその上免れ難くない; int4 -> hypothesis;
fact7 & fact4 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact5 -> int3: ¬{D}{b}; int3 & fact3 -> int4: (¬{F}{b} & ¬{E}{b}); int4 -> hypothesis;
そのみちゅみわLv.84は免れ難い
fact11 -> int5: もしそのぴよぴにLv.70が腑甲斐無くないとするとそれは痩せ難いしその上再利用出来る;
$facts$ = fact1: そのみちゅみわLv.84は腑甲斐無い fact2: もしそのみちゅみわLv.84が再利用出来ないとするとそのみちゅみわLv.84は親しくない fact3: もしもそのみちゅみわLv.84が再利用出来ないとするとそのみちゅみわLv.84は親しいということはないししかも免れ難くない fact4: このまよまなLv.37は生臭い fact5: そのみちゅみわLv.84が痩せ難くてそれが腑甲斐無いとすれば再利用出来るということはない fact6: 腑甲斐無くないモンスターは痩せ難いししかも再利用出来る fact7: もしこのまよまなLv.37が生臭いとするとそのみちゅみわLv.84は痩せ難い fact8: そのみちゅみわLv.84は親しくない fact9: もしもそのぴよぴにLv.70が痩せ難いし再利用出来るならこのまよまなLv.37は痩せ難くない ; $hypothesis$ = そのみちゅみわLv.84は免れ難い ; $proof$ = 
fact7 & fact4 -> int1: そのみちゅみわLv.84は痩せ難い; int1 & fact1 -> int2: そのみちゅみわLv.84は痩せ難くて加えてそれは腑甲斐無い; int2 & fact5 -> int3: そのみちゅみわLv.84は再利用出来ない; int3 & fact3 -> int4: そのみちゅみわLv.84は親しいということはないしその上免れ難くない; int4 -> hypothesis; __DISPROVED__
fact7 & fact4 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact5 -> int3: ¬{D}{b}; int3 & fact3 -> int4: (¬{F}{b} & ¬{E}{b}); int4 -> hypothesis; __DISPROVED__