あるモンスターは猛々しいし近い
fact1: あるモンスターは猛々しい fact2: もし仮にそのぽちゃぽにょLv.96が落ち易いとするとこのぴちゅぴなLv.36は猛々しい fact3: そのぽちゃぽにょLv.96は落ち易い fact4: 「近い」モンスターはいる fact5: もしとあるモンスターは近いということはないならば「頼もしい一方で猛々しくない」ということは成り立たない fact6: このぴちゅぴなLv.36は会話らしいし加えて移り難い
fact2 & fact3 -> int1: このぴちゅぴなLv.36は猛々しい;
fact2 & fact3 -> int1: {B}{b};
あのもにもやLv.39は頼もしくて更に甘ーい
fact7 -> int2: 仮にこのぴちゅぴなLv.36は近くないとすると「それは頼もしいし猛々しくない」ということは間違いである;
$facts$ = fact1: あるモンスターは猛々しい fact2: もし仮にそのぽちゃぽにょLv.96が落ち易いとするとこのぴちゅぴなLv.36は猛々しい fact3: そのぽちゃぽにょLv.96は落ち易い fact4: 「近い」モンスターはいる fact5: もしとあるモンスターは近いということはないならば「頼もしい一方で猛々しくない」ということは成り立たない fact6: このぴちゅぴなLv.36は会話らしいし加えて移り難い ; $hypothesis$ = あるモンスターは猛々しいし近い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__