あのみちょみのLv.24は弛いし更に関係深い
fact1: あのみちょみのLv.24は伸ばし掛けないとしたら「「弛いし更に関係深い」ということは正しい」ということは誤りである fact2: このもにゅもえLv.62は細かくない fact3: このぴちゅぴよLv.66は名残惜しくないしまた腫れぼったいということはない fact4: 名残惜しくなくて腫れぼったくないモンスターは細かくない fact5: このぴちゅぴよLv.66が細かいししかも賢しとすればあのみちょみのLv.24は伸ばし掛けない fact6: あのぷやぷよLv.58が弛い一方で賢しないとすればあのみちょみのLv.24は弛い fact7: 「このぴちゅぴよLv.66は賢し」ということは本当だ
fact4 -> int1: 「もしもこのぴちゅぴよLv.66が名残惜しくなくてまたそれが腫れぼったくないとすればこのぴちゅぴよLv.66は細かい」ということは本当である; int1 & fact3 -> int2: このぴちゅぴよLv.66は細かい; int2 & fact7 -> int3: このぴちゅぴよLv.66は細かいしかつ賢し; int3 & fact5 -> int4: あのみちょみのLv.24は伸ばし掛けない; int4 & fact1 -> hypothesis;
fact4 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact7 -> int3: ({B}{aa} & {A}{aa}); int3 & fact5 -> int4: ¬{C}{a}; int4 & fact1 -> hypothesis;
あのみちょみのLv.24は弛いし更に関係深い
$facts$ = fact1: あのみちょみのLv.24は伸ばし掛けないとしたら「「弛いし更に関係深い」ということは正しい」ということは誤りである fact2: このもにゅもえLv.62は細かくない fact3: このぴちゅぴよLv.66は名残惜しくないしまた腫れぼったいということはない fact4: 名残惜しくなくて腫れぼったくないモンスターは細かくない fact5: このぴちゅぴよLv.66が細かいししかも賢しとすればあのみちょみのLv.24は伸ばし掛けない fact6: あのぷやぷよLv.58が弛い一方で賢しないとすればあのみちょみのLv.24は弛い fact7: 「このぴちゅぴよLv.66は賢し」ということは本当だ ; $hypothesis$ = あのみちょみのLv.24は弛いし更に関係深い ; $proof$ = 
fact4 -> int1: 「もしもこのぴちゅぴよLv.66が名残惜しくなくてまたそれが腫れぼったくないとすればこのぴちゅぴよLv.66は細かい」ということは本当である; int1 & fact3 -> int2: このぴちゅぴよLv.66は細かい; int2 & fact7 -> int3: このぴちゅぴよLv.66は細かいしかつ賢し; int3 & fact5 -> int4: あのみちょみのLv.24は伸ばし掛けない; int4 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact7 -> int3: ({B}{aa} & {A}{aa}); int3 & fact5 -> int4: ¬{C}{a}; int4 & fact1 -> hypothesis; __DISPROVED__