「そのぴいぴよLv.88は馬鹿らしくてかつそれはし難い」ということは偽である
fact1: このもえもえLv.39は飲み難いモンスターであり切り分ける fact2: このもえもえLv.39は飲み難いしおまけに規格化する fact3: このもえもえLv.39は飲み難い fact4: もしこのもえもえLv.39が飲み難いモンスターでありそれに規格化しないとするとそのもゆもゆLv.64は規格化する fact5: そのぴいぴよLv.88は把握し難い fact6: もし仮にこのもえもえLv.39は規格化するとしたら「そのぴいぴよLv.88は馬鹿らしい」ということは正しい fact7: そのぴいぴよLv.88はし難い
fact2 -> int1: このもえもえLv.39は規格化する; int1 & fact6 -> int2: 「そのぴいぴよLv.88は馬鹿らしい」ということは成り立つ; int2 & fact7 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact7 -> hypothesis;
そのもゆもゆLv.64は規格化する
$facts$ = fact1: このもえもえLv.39は飲み難いモンスターであり切り分ける fact2: このもえもえLv.39は飲み難いしおまけに規格化する fact3: このもえもえLv.39は飲み難い fact4: もしこのもえもえLv.39が飲み難いモンスターでありそれに規格化しないとするとそのもゆもゆLv.64は規格化する fact5: そのぴいぴよLv.88は把握し難い fact6: もし仮にこのもえもえLv.39は規格化するとしたら「そのぴいぴよLv.88は馬鹿らしい」ということは正しい fact7: そのぴいぴよLv.88はし難い ; $hypothesis$ = 「そのぴいぴよLv.88は馬鹿らしくてかつそれはし難い」ということは偽である ; $proof$ = 
fact2 -> int1: このもえもえLv.39は規格化する; int1 & fact6 -> int2: 「そのぴいぴよLv.88は馬鹿らしい」ということは成り立つ; int2 & fact7 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact7 -> hypothesis; __DISPROVED__