あのまにゅまちゅLv.80が待ち焦がれるしその上心苦しい
fact1: このぽゆぽやLv.52は落ち難い fact2: もしこのぽゆぽやLv.52が心苦しいならあのまにゅまちゅLv.80は待ち焦がれる fact3: もしも「あのみにみわLv.34は美しいかまたは待ち焦がれるということはないかあるいは両方だ」ということは間違っているとしたらそれは落ち難くない fact4: 「あのまにゅまちゅLv.80は心苦しい」ということは確かである fact5: 仮にこのぽゆぽやLv.52が落ち難いならばあのまにゅまちゅLv.80は待ち焦がれる fact6: すべてのモンスターは再発し易くない
fact5 & fact1 -> int1: あのまにゅまちゅLv.80は待ち焦がれる; int1 & fact4 -> hypothesis;
fact5 & fact1 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
「あのみにみわLv.34は心苦しい」ということは本当だ
fact7 -> int2: 「このぽゆぽやLv.52は再発し易くない」ということは成り立つ;
$facts$ = fact1: このぽゆぽやLv.52は落ち難い fact2: もしこのぽゆぽやLv.52が心苦しいならあのまにゅまちゅLv.80は待ち焦がれる fact3: もしも「あのみにみわLv.34は美しいかまたは待ち焦がれるということはないかあるいは両方だ」ということは間違っているとしたらそれは落ち難くない fact4: 「あのまにゅまちゅLv.80は心苦しい」ということは確かである fact5: 仮にこのぽゆぽやLv.52が落ち難いならばあのまにゅまちゅLv.80は待ち焦がれる fact6: すべてのモンスターは再発し易くない ; $hypothesis$ = あのまにゅまちゅLv.80が待ち焦がれるしその上心苦しい ; $proof$ = 
fact5 & fact1 -> int1: あのまにゅまちゅLv.80は待ち焦がれる; int1 & fact4 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}{b}; int1 & fact4 -> hypothesis; __PROVED__