あのぷゆぷねLv.87はひもじくない
fact1: そのぽにゅぽいLv.90は重し fact2: そのぽにゅぽいLv.90は生じ易い fact3: 仮にそのまえまにょLv.90が忍耐強くないししかもへばり付かないとすればあのぷゆぷねLv.87はひもじくない fact4: もしもあのみのみちゅLv.36が忍耐強くないならばそのまえまにょLv.90は忍耐強くなくてさらにそれはへばり付くということはない fact5: 重しモンスターはひもじい fact6: 「そのぽにゅぽいLv.90は重し」ということは正しいとしたら怠い
fact6 & fact1 -> int1: そのぽにゅぽいLv.90は怠い; int1 & fact2 -> int2: そのぽにゅぽいLv.90は怠いし生じ易い;
fact6 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a});
あのぷゆぷねLv.87はひもじい
fact7 -> int3: 仮にあのぷゆぷねLv.87が重しとするとあのぷゆぷねLv.87はひもじい;
$facts$ = fact1: そのぽにゅぽいLv.90は重し fact2: そのぽにゅぽいLv.90は生じ易い fact3: 仮にそのまえまにょLv.90が忍耐強くないししかもへばり付かないとすればあのぷゆぷねLv.87はひもじくない fact4: もしもあのみのみちゅLv.36が忍耐強くないならばそのまえまにょLv.90は忍耐強くなくてさらにそれはへばり付くということはない fact5: 重しモンスターはひもじい fact6: 「そのぽにゅぽいLv.90は重し」ということは正しいとしたら怠い ; $hypothesis$ = あのぷゆぷねLv.87はひもじくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__