そのぴゆぴいLv.76は見苦しい
fact1: もし仮に「なんらかのモンスターは成立し難いし更に見苦しい」ということは嘘ならそれは見苦しくない fact2: もしあのもくもねLv.37が成立し難いならば判別し難い fact3: あのもくもねLv.37は成立し難い fact4: もしもあのみやみちゃLv.32が思し召しするとしたらそのぴゆぴいLv.76は見苦しい fact5: なんらかのモンスターが見苦しいならばそれは啓発する fact6: もし仮にあのもくもねLv.37が判別し難いとするとあのみやみちゃLv.32は思し召しする
fact2 & fact3 -> int1: あのもくもねLv.37は判別し難い; int1 & fact6 -> int2: あのみやみちゃLv.32は思し召しする; int2 & fact4 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
もしもこのまなまなLv.36が見苦しいとしたらこのまなまなLv.36は啓発する
fact7 -> hypothesis;
$facts$ = fact1: もし仮に「なんらかのモンスターは成立し難いし更に見苦しい」ということは嘘ならそれは見苦しくない fact2: もしあのもくもねLv.37が成立し難いならば判別し難い fact3: あのもくもねLv.37は成立し難い fact4: もしもあのみやみちゃLv.32が思し召しするとしたらそのぴゆぴいLv.76は見苦しい fact5: なんらかのモンスターが見苦しいならばそれは啓発する fact6: もし仮にあのもくもねLv.37が判別し難いとするとあのみやみちゃLv.32は思し召しする ; $hypothesis$ = そのぴゆぴいLv.76は見苦しい ; $proof$ = 
fact2 & fact3 -> int1: あのもくもねLv.37は判別し難い; int1 & fact6 -> int2: あのみやみちゃLv.32は思し召しする; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __PROVED__