このぴわぴなLv.38は想像し易い
fact1: 受け易いということはないモンスターは想像し易いしそれに細かい fact2: もしもこのぴわぴなLv.38は受け易くないかもしくは想像し易くないかまたは両方ともならば「細かくない」ということは成り立つ fact3: もしこのぴわぴなLv.38は細かくないならば「あのもえもなLv.81は仲直り出来るしおまけに結合する」ということは成り立たない fact4: 「「古しし加えて伝え易い」ということは確かでない」モンスターはいる fact5: 仮に「「古しし更に伝え易い」ということは偽である」モンスターがいるとするとあのもえもなLv.81は細かい fact6: もしもあのもえもなLv.81が細かいならこのぴわぴなLv.38は想像し易いということはない
fact4 & fact5 -> int1: 「あのもえもなLv.81は細かい」ということは成り立つ; int1 & fact6 -> hypothesis;
fact4 & fact5 -> int1: {A}{a}; int1 & fact6 -> hypothesis;
このぴわぴなLv.38は想像し易い
fact7 -> int2: 「仮にこのぴわぴなLv.38が受け易いということはないとしたらこのぴわぴなLv.38は想像し易くておまけに細かい」ということは正しい;
$facts$ = fact1: 受け易いということはないモンスターは想像し易いしそれに細かい fact2: もしもこのぴわぴなLv.38は受け易くないかもしくは想像し易くないかまたは両方ともならば「細かくない」ということは成り立つ fact3: もしこのぴわぴなLv.38は細かくないならば「あのもえもなLv.81は仲直り出来るしおまけに結合する」ということは成り立たない fact4: 「「古しし加えて伝え易い」ということは確かでない」モンスターはいる fact5: 仮に「「古しし更に伝え易い」ということは偽である」モンスターがいるとするとあのもえもなLv.81は細かい fact6: もしもあのもえもなLv.81が細かいならこのぴわぴなLv.38は想像し易いということはない ; $hypothesis$ = このぴわぴなLv.38は想像し易い ; $proof$ = 
fact4 & fact5 -> int1: 「あのもえもなLv.81は細かい」ということは成り立つ; int1 & fact6 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: {A}{a}; int1 & fact6 -> hypothesis; __DISPROVED__