「あのぷやぷのLv.15は皮肉っぽいしかつ非難がましい」ということは成り立たない
fact1: もし仮にそのもちゃもよLv.54が乱舞しないとするとそのもちゃもよLv.54は期待し難いしさらに温かい fact2: そのもちゃもよLv.54は乱舞する fact3: それは型抜きするし打ち殺すということはないというモンスターはない fact4: そのもちゃもよLv.54は温かくてまた乱舞する fact5: 仮に「「型抜きするし打ち殺さない」ということは成り立たない」モンスターがいるとするとそのもちゃもよLv.54は皮肉っぽい fact6: もしそのもちゃもよLv.54が温かいならあのぷやぷのLv.15は皮肉っぽい fact7: もしも「このもやもよLv.76は危ういということはない」ということは事実であるならそのもちゃもよLv.54は飽きっぽいかもしくは非難がましかない fact8: あのぷやぷのLv.15は非難がましい
fact4 -> int1: そのもちゃもよLv.54は温かい; int1 & fact6 -> int2: あのぷやぷのLv.15は皮肉っぽい; int2 & fact8 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact8 -> hypothesis;
そのもちゃもよLv.54は皮肉っぽくてまた期待し難い
fact12 -> int3: 「あのぷやぷのLv.15は型抜きするがしかし打ち殺さない」ということは事実でない; int3 -> int4: 「「型抜きするしかつ打ち殺さない」ということは成り立つということはない」モンスターはいる; int4 & fact10 -> int5: そのもちゃもよLv.54は皮肉っぽい;
$facts$ = fact1: もし仮にそのもちゃもよLv.54が乱舞しないとするとそのもちゃもよLv.54は期待し難いしさらに温かい fact2: そのもちゃもよLv.54は乱舞する fact3: それは型抜きするし打ち殺すということはないというモンスターはない fact4: そのもちゃもよLv.54は温かくてまた乱舞する fact5: 仮に「「型抜きするし打ち殺さない」ということは成り立たない」モンスターがいるとするとそのもちゃもよLv.54は皮肉っぽい fact6: もしそのもちゃもよLv.54が温かいならあのぷやぷのLv.15は皮肉っぽい fact7: もしも「このもやもよLv.76は危ういということはない」ということは事実であるならそのもちゃもよLv.54は飽きっぽいかもしくは非難がましかない fact8: あのぷやぷのLv.15は非難がましい ; $hypothesis$ = 「あのぷやぷのLv.15は皮肉っぽいしかつ非難がましい」ということは成り立たない ; $proof$ = 
fact4 -> int1: そのもちゃもよLv.54は温かい; int1 & fact6 -> int2: あのぷやぷのLv.15は皮肉っぽい; int2 & fact8 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact8 -> hypothesis; __DISPROVED__