「もし押さえ込まないならば禍々しくてかつ性分らしい」モンスターはいる
fact1: 溜まり易いモンスターは共同利用するし更に擦り上げる fact2: もしも何らかのモンスターが押さえ込まないとすればそれが禍々しいしその上性分らしい fact3: あのみちゃみにLv.19が押さえ込まないならばあのみちゃみにLv.19は性分らしい fact4: もしとあるモンスターが望まないとすればしかつめらしいしそれは繰り替える fact5: あるモンスターが押さえ込めば禍々しくて性分らしい
fact2 -> int1: もしもあのみちゃみにLv.19が押さえ込まないとするとあのみちゃみにLv.19は禍々しいしそれに性分らしい; int1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
「もしも望まないとするとしかつめらしいしさらに繰り替える」モンスターはいる
fact6 -> int2: 仮にこのものもにゅLv.95が望まないとしたらそれはしかつめらしいしおまけに繰り替える; int2 -> hypothesis;
$facts$ = fact1: 溜まり易いモンスターは共同利用するし更に擦り上げる fact2: もしも何らかのモンスターが押さえ込まないとすればそれが禍々しいしその上性分らしい fact3: あのみちゃみにLv.19が押さえ込まないならばあのみちゃみにLv.19は性分らしい fact4: もしとあるモンスターが望まないとすればしかつめらしいしそれは繰り替える fact5: あるモンスターが押さえ込めば禍々しくて性分らしい ; $hypothesis$ = 「もし押さえ込まないならば禍々しくてかつ性分らしい」モンスターはいる ; $proof$ = 
fact2 -> int1: もしもあのみちゃみにLv.19が押さえ込まないとするとあのみちゃみにLv.19は禍々しいしそれに性分らしい; int1 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 -> hypothesis; __PROVED__