そのぷちゅぷにょLv.8は実現出来ない
fact1: とあるモンスターは想像し難くないなら「実現出来るしかつ物悲しい」ということは成り立つ fact2: あのぴにぴにゃLv.27は物悲しいし加えて想像し難い fact3: あのぴにぴにゃLv.27は幼し
fact2 -> int1: 「あのぴにぴにゃLv.27は想像し難い」ということは確かだ; int1 & fact3 -> int2: あのぴにぴにゃLv.27は幼ししかつ想像し難い;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: ({C}{a} & {B}{a});
そのぷちゅぷにょLv.8は実現出来る
fact4 -> int3: そのぷちゅぷにょLv.8が想像し難くないとしたらそのぷちゅぷにょLv.8が実現出来るしその上物悲しい;
$facts$ = fact1: とあるモンスターは想像し難くないなら「実現出来るしかつ物悲しい」ということは成り立つ fact2: あのぴにぴにゃLv.27は物悲しいし加えて想像し難い fact3: あのぴにぴにゃLv.27は幼し ; $hypothesis$ = そのぷちゅぷにょLv.8は実現出来ない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__