このぷにぷくLv.36は挽かないがしかしそれは信じ難い
fact1: そのみにゅみちゃLv.58は熱し易くない fact2: もしもなんらかのモンスターは信じ難くないとすると「挽かなくておまけにそれは寒々しい」ということは偽である fact3: もしもそのみにゅみちゃLv.58は信じ難くないとすれば「このぷにぷくLv.36は挽かない一方でそれは信じ難い」ということは偽だ fact4: もしも何らかのモンスターが仰々しくないならそれは熱し易くて更に疑い深い fact5: 「「仰々しいということはないけれど強い」ということは間違いな」モンスターはいる fact6: もし仮に「そのみにゅみちゃLv.58は信じ難い」ということは正しいならばそのみにゅみちゃLv.58は熱し易い fact7: 熱し易いモンスターは挽かないがしかし信じ難い fact8: もし仮に「そのみにゅみちゃLv.58は信じ難い」ということは正しくないとすれば「このぷにぷくLv.36は挽くし信じ難い」ということは成り立たない
void -> assump1: 以下のように仮定する。そのみにゅみちゃLv.58は信じ難い; fact6 & assump1 -> int1: そのみにゅみちゃLv.58は熱し易い; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのみにゅみちゃLv.58は信じ難くない; int3 & fact3 -> hypothesis;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis;
このぷにぷくLv.36は挽かないがしかしそれは信じ難い
fact9 -> int4: もしこのぷにぷくLv.36が熱し易いとすれば挽くということはない一方で信じ難い; fact10 -> int5: もしこのぷにぷくLv.36が仰々しいということはないなら熱し易いし更にそれは疑い深い;
$facts$ = fact1: そのみにゅみちゃLv.58は熱し易くない fact2: もしもなんらかのモンスターは信じ難くないとすると「挽かなくておまけにそれは寒々しい」ということは偽である fact3: もしもそのみにゅみちゃLv.58は信じ難くないとすれば「このぷにぷくLv.36は挽かない一方でそれは信じ難い」ということは偽だ fact4: もしも何らかのモンスターが仰々しくないならそれは熱し易くて更に疑い深い fact5: 「「仰々しいということはないけれど強い」ということは間違いな」モンスターはいる fact6: もし仮に「そのみにゅみちゃLv.58は信じ難い」ということは正しいならばそのみにゅみちゃLv.58は熱し易い fact7: 熱し易いモンスターは挽かないがしかし信じ難い fact8: もし仮に「そのみにゅみちゃLv.58は信じ難い」ということは正しくないとすれば「このぷにぷくLv.36は挽くし信じ難い」ということは成り立たない ; $hypothesis$ = このぷにぷくLv.36は挽かないがしかしそれは信じ難い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみにゅみちゃLv.58は信じ難い; fact6 & assump1 -> int1: そのみにゅみちゃLv.58は熱し易い; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのみにゅみちゃLv.58は信じ難くない; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis; __DISPROVED__