「もしも否定し難いし過ごし易いとすると入学出来ない」モンスターはいる
fact1: 「もし仮に裁判するし憎々しいとしたらしょぼくない」モンスターはいる fact2: もし何らかのモンスターがアプローチし易いししかも香ばしいとすると鋭い fact3: もし仮に否定し難いモンスターが過ごし易いならそれは入学出来ない
fact3 -> int1: 「もし仮にあのぴねぴえLv.63が否定し難くてかつそれが過ごし易いならあのぴねぴえLv.63は入学出来ない」ということは成り立つ; int1 -> hypothesis;
fact3 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に裁判するし憎々しいとしたらしょぼくない」モンスターはいる fact2: もし何らかのモンスターがアプローチし易いししかも香ばしいとすると鋭い fact3: もし仮に否定し難いモンスターが過ごし易いならそれは入学出来ない ; $hypothesis$ = 「もしも否定し難いし過ごし易いとすると入学出来ない」モンスターはいる ; $proof$ = 
fact3 -> int1: 「もし仮にあのぴねぴえLv.63が否定し難くてかつそれが過ごし易いならあのぴねぴえLv.63は入学出来ない」ということは成り立つ; int1 -> hypothesis; __PROVED__
fact3 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__