あのみくみいLv.91は喋り過ぎるということはない
fact1: 「仮にあのまちゃまゆLv.87が揮発し易いということはないとするとあのみくみいLv.91は上り易いしおまけにそれは伸ばし易い」ということは成り立つ fact2: 「なんらかのモンスターは漏れ易くないかまたは順応し易くないかあるいは両方である」ということは成り立たないとすれば「揮発し易くない」ということは正しい fact3: 何らかのモンスターが信仰深いならあのみくみいLv.91は喋り過ぎる fact4: 伸ばし易いモンスターは喋り過ぎないしさらに信仰深くない fact5: あのまちゃまゆLv.87は伸ばし易い
fact5 -> int1: あのまちゃまゆLv.87は信仰深いかそれは伸ばし易い; int1 -> int2: 「「信仰深いか伸ばし易い」ということは事実である」モンスターはいる;
fact5 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x);
あのみくみいLv.91は喋り過ぎるということはない
fact7 -> int3: もし仮にあのみくみいLv.91が伸ばし易いならばそれは喋り過ぎないしそれに信仰深いということはない; fact8 -> int4: もし「あのまちゃまゆLv.87は漏れ易いということはないかそれは順応し易くないか両方だ」ということは成り立たないなら揮発し易くない;
$facts$ = fact1: 「仮にあのまちゃまゆLv.87が揮発し易いということはないとするとあのみくみいLv.91は上り易いしおまけにそれは伸ばし易い」ということは成り立つ fact2: 「なんらかのモンスターは漏れ易くないかまたは順応し易くないかあるいは両方である」ということは成り立たないとすれば「揮発し易くない」ということは正しい fact3: 何らかのモンスターが信仰深いならあのみくみいLv.91は喋り過ぎる fact4: 伸ばし易いモンスターは喋り過ぎないしさらに信仰深くない fact5: あのまちゃまゆLv.87は伸ばし易い ; $hypothesis$ = あのみくみいLv.91は喋り過ぎるということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__