そのぽなぽなLv.88は打ち難い
fact1: そのぽなぽなLv.88は水臭い fact2: このぴゆぴくLv.22は暮れ掛かる fact3: そのみにょみくLv.53は打ち難い fact4: もしなんらかのモンスターが掘り下げないとしたらそれは吹き飛ばすということはないかまたは隙間無くないかどちらもだ fact5: 仮にそのぽなぽなLv.88が哀れっぽいならば打ち難い fact6: もし仮になんらかのモンスターが吹き飛ばすということはないとしたらそれは暮れ掛かるか哀れっぽいか両方だ
そのぽなぽなLv.88は打ち難くない
fact8 -> int1: そのぽなぽなLv.88が吹き飛ばさないとしたら暮れ掛かるか哀れっぽいかもしくは両方ともだ; fact7 -> int2: 仮にあのまなまよLv.30が掘り下げるということはないならそれは吹き飛ばさないかまたは隙間無いということはない;
$facts$ = fact1: そのぽなぽなLv.88は水臭い fact2: このぴゆぴくLv.22は暮れ掛かる fact3: そのみにょみくLv.53は打ち難い fact4: もしなんらかのモンスターが掘り下げないとしたらそれは吹き飛ばすということはないかまたは隙間無くないかどちらもだ fact5: 仮にそのぽなぽなLv.88が哀れっぽいならば打ち難い fact6: もし仮になんらかのモンスターが吹き飛ばすということはないとしたらそれは暮れ掛かるか哀れっぽいか両方だ ; $hypothesis$ = そのぽなぽなLv.88は打ち難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__