そのぽのぽえLv.50は何気無くない
fact1: もし仮にあのぽにぽにゅLv.49が大きいがしかし迷い易くないとするとそのぽのぽえLv.50は何気無い fact2: 仮にあのぽにぽにゅLv.49は大きいし迷い易いならば「そのぽのぽえLv.50は何気無い」ということは真実である fact3: そのぽのぽえLv.50は差し切る一方で太くない fact4: もし仮にあのぽにぽにゅLv.49が想像し難いとしたらそれは迷い易くない fact5: もしもそのぽのぽえLv.50は大きいけど何気無くないならば「あのぽにぽにゅLv.49は迷い易い」ということは誤りでない fact6: 想像し難いモンスターは大きい一方で迷い易くない fact7: 仮にそのぽのぽえLv.50が大きいが想像し難くないとするとあのぽにぽにゅLv.49は何気無い
fact6 -> int1: もし仮にあのぽにぽにゅLv.49が想像し難いとしたら大きいがしかし迷い易いということはない;
fact6 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa});
$facts$ = fact1: もし仮にあのぽにぽにゅLv.49が大きいがしかし迷い易くないとするとそのぽのぽえLv.50は何気無い fact2: 仮にあのぽにぽにゅLv.49は大きいし迷い易いならば「そのぽのぽえLv.50は何気無い」ということは真実である fact3: そのぽのぽえLv.50は差し切る一方で太くない fact4: もし仮にあのぽにぽにゅLv.49が想像し難いとしたらそれは迷い易くない fact5: もしもそのぽのぽえLv.50は大きいけど何気無くないならば「あのぽにぽにゅLv.49は迷い易い」ということは誤りでない fact6: 想像し難いモンスターは大きい一方で迷い易くない fact7: 仮にそのぽのぽえLv.50が大きいが想像し難くないとするとあのぽにぽにゅLv.49は何気無い ; $hypothesis$ = そのぽのぽえLv.50は何気無くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__