「仮に浅ましくないとしたら緩いし加えてしつっこい」モンスターはいる
fact1: 緩いということはないモンスターは言い難くて感ずる fact2: 仮にこのみのみちょLv.79は浅ましくないならば「しつっこい」ということは真実だ fact3: もしもこのみのみちょLv.79が浅ましくないとしたらこのみのみちょLv.79は緩いししつっこい fact4: 「浅ましくないとしたら緩い」モンスターはいる fact5: 「もし仮に浅ましくないなら「しつっこい」ということは真実な」モンスターはいる
fact3 -> hypothesis;
fact3 -> hypothesis;
もし仮にこのみのみちょLv.79が緩くないならば言い難いししかも感ずる
fact6 -> hypothesis;
$facts$ = fact1: 緩いということはないモンスターは言い難くて感ずる fact2: 仮にこのみのみちょLv.79は浅ましくないならば「しつっこい」ということは真実だ fact3: もしもこのみのみちょLv.79が浅ましくないとしたらこのみのみちょLv.79は緩いししつっこい fact4: 「浅ましくないとしたら緩い」モンスターはいる fact5: 「もし仮に浅ましくないなら「しつっこい」ということは真実な」モンスターはいる ; $hypothesis$ = 「仮に浅ましくないとしたら緩いし加えてしつっこい」モンスターはいる ; $proof$ = 
fact3 -> hypothesis; __PROVED__
fact3 -> hypothesis; __PROVED__