あのもにもやLv.19は苦心する
fact1: 何らかのモンスターは振り返さないとすれば「あのもにもやLv.19は思しし加えて差す」ということは事実と異なる fact2: 「振り返すということはない」モンスターはいる fact3: 仮に「あのもにもやLv.19が思ししその上差す」ということは嘘だとすれば苦心しない
fact2 & fact1 -> int1: 「あのもにもやLv.19は思しししかも差す」ということは嘘である; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ¬({B}{a} & {C}{a}); int1 & fact3 -> hypothesis;
$facts$ = fact1: 何らかのモンスターは振り返さないとすれば「あのもにもやLv.19は思しし加えて差す」ということは事実と異なる fact2: 「振り返すということはない」モンスターはいる fact3: 仮に「あのもにもやLv.19が思ししその上差す」ということは嘘だとすれば苦心しない ; $hypothesis$ = あのもにもやLv.19は苦心する ; $proof$ = 
fact2 & fact1 -> int1: 「あのもにもやLv.19は思しししかも差す」ということは嘘である; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ¬({B}{a} & {C}{a}); int1 & fact3 -> hypothesis; __DISPROVED__