「仮に撫で続けないとしたら慎み深くないし兆す」モンスターはいる
fact1: もし仮にこのぴちょぴいLv.78が撫で続けるということはないとすると慎み深くないしそれは兆す fact2: 仮にあのぽにゅぽやLv.43が良しないならあのぽにゅぽやLv.43は慎み深くてさらに離せる fact3: もしこのぴちょぴいLv.78が比較し難くないとするとこのぴちょぴいLv.78は譲り受けるしかつべとべとする
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もし仮にこのぴちょぴいLv.78が撫で続けるということはないとすると慎み深くないしそれは兆す fact2: 仮にあのぽにゅぽやLv.43が良しないならあのぽにゅぽやLv.43は慎み深くてさらに離せる fact3: もしこのぴちょぴいLv.78が比較し難くないとするとこのぴちょぴいLv.78は譲り受けるしかつべとべとする ; $hypothesis$ = 「仮に撫で続けないとしたら慎み深くないし兆す」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__