あのもゆもやLv.19は忘れっぽい
fact1: あのみちゃみゆLv.41は読み辛い fact2: あのぷにゅぷちょLv.70は入り辛くて忘れっぽい fact3: もし仮にあのみちゃみゆLv.41が物寂しいしかつ忘れっぽいとしたらあのもゆもやLv.19は読み辛くない fact4: 「あのみちゃみゆLv.41は忘れっぽくない」ということは真実だ fact5: もしあのみちゃみゆLv.41は読み辛いし物寂しいならば「あのもゆもやLv.19は忘れっぽいということはない」ということは確かである fact6: あのみちゃみゆLv.41は物寂しくてそれに入り辛い
fact6 -> int1: あのみちゃみゆLv.41は物寂しい; int1 & fact1 -> int2: あのみちゃみゆLv.41は読み辛くておまけに物寂しい; int2 & fact5 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact1 -> int2: ({C}{a} & {A}{a}); int2 & fact5 -> hypothesis;
あのぷにゅぷちょLv.70は読み辛くてまたしつっこい
fact7 -> int3: あのぷにゅぷちょLv.70は入り辛い;
$facts$ = fact1: あのみちゃみゆLv.41は読み辛い fact2: あのぷにゅぷちょLv.70は入り辛くて忘れっぽい fact3: もし仮にあのみちゃみゆLv.41が物寂しいしかつ忘れっぽいとしたらあのもゆもやLv.19は読み辛くない fact4: 「あのみちゃみゆLv.41は忘れっぽくない」ということは真実だ fact5: もしあのみちゃみゆLv.41は読み辛いし物寂しいならば「あのもゆもやLv.19は忘れっぽいということはない」ということは確かである fact6: あのみちゃみゆLv.41は物寂しくてそれに入り辛い ; $hypothesis$ = あのもゆもやLv.19は忘れっぽい ; $proof$ = 
fact6 -> int1: あのみちゃみゆLv.41は物寂しい; int1 & fact1 -> int2: あのみちゃみゆLv.41は読み辛くておまけに物寂しい; int2 & fact5 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact1 -> int2: ({C}{a} & {A}{a}); int2 & fact5 -> hypothesis; __DISPROVED__