「楽しし集め易くないなら「付き添わない」ということは成り立つ」モンスターはいる
fact1: 「仮に御尋ね下さるし解し難くないならまあるかない」モンスターはいる fact2: もし仮にそのもえもちゅLv.26が楽しし集め易いとすればそのもえもちゅLv.26は付き添わない fact3: もし仮にＯＢ臭いモンスターが読み易いということはないとしたら罹り易いということはない fact4: 楽しモンスターが集め易くないとしたら付き添う fact5: 楽ししそれに集め易くないモンスターは付き添わない
fact5 -> int1: もしもそのもえもちゅLv.26は楽しモンスターでありおまけに集め易くないとすれば「付き添うということはない」ということは本当だ; int1 -> hypothesis;
fact5 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「仮に御尋ね下さるし解し難くないならまあるかない」モンスターはいる fact2: もし仮にそのもえもちゅLv.26が楽しし集め易いとすればそのもえもちゅLv.26は付き添わない fact3: もし仮にＯＢ臭いモンスターが読み易いということはないとしたら罹り易いということはない fact4: 楽しモンスターが集め易くないとしたら付き添う fact5: 楽ししそれに集め易くないモンスターは付き添わない ; $hypothesis$ = 「楽しし集め易くないなら「付き添わない」ということは成り立つ」モンスターはいる ; $proof$ = 
fact5 -> int1: もしもそのもえもちゅLv.26は楽しモンスターでありおまけに集め易くないとすれば「付き添うということはない」ということは本当だ; int1 -> hypothesis; __PROVED__
fact5 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__