以下のように仮定する。「そのぽにょぽにゃLv.10は腫れぼったい」ということは事実である
fact1: 仮に何らかのモンスターが開発・運用するならそれは仕方無しということはない fact2: もし仮に何らかのモンスターが仕方無しないとすると喧しいかあるいはそれは飽きっぽいかまたは両方ともだ fact3: 仮にあのぽなぽよLv.24が発生し易くないとしたらあのまにゅまねLv.49は開発・運用するしおまけにそれは買い易い fact4: あのまにゅまねLv.49は喧しい
以下のように仮定する。「そのぽにょぽにゃLv.10は腫れぼったい」ということは事実である
fact5 -> int1: 仮に「あのまにゅまねLv.49は仕方無しない」ということは成り立つとするとそれは喧しいかまたは飽きっぽいかあるいはどちらもだ; fact7 -> int2: 仮にあのまにゅまねLv.49が開発・運用するとすればそれは仕方無しない;
$facts$ = fact1: 仮に何らかのモンスターが開発・運用するならそれは仕方無しということはない fact2: もし仮に何らかのモンスターが仕方無しないとすると喧しいかあるいはそれは飽きっぽいかまたは両方ともだ fact3: 仮にあのぽなぽよLv.24が発生し易くないとしたらあのまにゅまねLv.49は開発・運用するしおまけにそれは買い易い fact4: あのまにゅまねLv.49は喧しい ; $hypothesis$ = 以下のように仮定する。「そのぽにょぽにゃLv.10は腫れぼったい」ということは事実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__