あのもにもちゅLv.48は離れ難い
fact1: 仮になにがしかのモンスターが素っ気なくないとしたら慌ただしいけど離れ難くない fact2: もし何らかのモンスターが素っ気ないしその上離れ難いとするとあのもにもちゅLv.48は慌ただしい fact3: あるモンスターは慌ただしい fact4: もし「「慌ただしいし更に素っ気ない」ということは成り立つ」モンスターがいるとしたらあのもにもちゅLv.48は離れ難い fact5: そのぷやぷにょLv.25は素っ気ない fact6: そのぷやぷにょLv.25は慌ただしい fact7: 仮にあのもにもちゅLv.48が復旧するならあのもにもちゅLv.48は変型するということはないし離れ難くない fact8: 「素っ気ない」モンスターはいる
fact6 & fact5 -> int1: そのぷやぷにょLv.25は慌ただしくてさらに素っ気ない; int1 -> int2: 「慌ただしくてさらに素っ気ない」モンスターはいる; int2 & fact4 -> hypothesis;
fact6 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact4 -> hypothesis;
あのもにもちゅLv.48は素っ気ない
$facts$ = fact1: 仮になにがしかのモンスターが素っ気なくないとしたら慌ただしいけど離れ難くない fact2: もし何らかのモンスターが素っ気ないしその上離れ難いとするとあのもにもちゅLv.48は慌ただしい fact3: あるモンスターは慌ただしい fact4: もし「「慌ただしいし更に素っ気ない」ということは成り立つ」モンスターがいるとしたらあのもにもちゅLv.48は離れ難い fact5: そのぷやぷにょLv.25は素っ気ない fact6: そのぷやぷにょLv.25は慌ただしい fact7: 仮にあのもにもちゅLv.48が復旧するならあのもにもちゅLv.48は変型するということはないし離れ難くない fact8: 「素っ気ない」モンスターはいる ; $hypothesis$ = あのもにもちゅLv.48は離れ難い ; $proof$ = 
fact6 & fact5 -> int1: そのぷやぷにょLv.25は慌ただしくてさらに素っ気ない; int1 -> int2: 「慌ただしくてさらに素っ気ない」モンスターはいる; int2 & fact4 -> hypothesis; __PROVED__
fact6 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact4 -> hypothesis; __PROVED__