「あのもにょもいLv.29は止めど無くてかつそれは苦い」ということは事実でない
fact1: もし仮にあのもにょもいLv.29がとろ臭くないとしたらあのもにょもいLv.29は述ぶ fact2: もしもあるモンスターは切り難くないとすれば「「止めど無くてまたそれは苦い」ということは間違っていない」ということは嘘である fact3: あのもにょもいLv.29は切り難くてまた止めど無い fact4: あのもにょもいLv.29は苦い fact5: 仮になにがしかのモンスターはとろ臭くないとしたら「それは述ぶししかもそれは切り難い」ということは間違いである fact6: あのもにょもいLv.29は切り難い fact7: 「とあるモンスターは述ぶしかつ切り難い」ということは偽であるならばそれは切り難くない
fact3 -> int1: あのもにょもいLv.29は止めど無い; int1 & fact4 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
「あのもにょもいLv.29は止めど無くてかつそれは苦い」ということは事実でない
fact8 -> int2: もしこのぽわぽくLv.14は切り難くないなら「このぽわぽくLv.14は止めど無くてまた苦い」ということは成り立たない; fact9 -> int3: もしも「このぽわぽくLv.14は述ぶし切り難い」ということは本当だということはないとするとこのぽわぽくLv.14は切り難くない; fact10 -> int4: もしそのみちゅみちょLv.28はとろ臭いということはないとすれば「そのみちゅみちょLv.28が述ぶしその上切り難い」ということは成り立たない;
$facts$ = fact1: もし仮にあのもにょもいLv.29がとろ臭くないとしたらあのもにょもいLv.29は述ぶ fact2: もしもあるモンスターは切り難くないとすれば「「止めど無くてまたそれは苦い」ということは間違っていない」ということは嘘である fact3: あのもにょもいLv.29は切り難くてまた止めど無い fact4: あのもにょもいLv.29は苦い fact5: 仮になにがしかのモンスターはとろ臭くないとしたら「それは述ぶししかもそれは切り難い」ということは間違いである fact6: あのもにょもいLv.29は切り難い fact7: 「とあるモンスターは述ぶしかつ切り難い」ということは偽であるならばそれは切り難くない ; $hypothesis$ = 「あのもにょもいLv.29は止めど無くてかつそれは苦い」ということは事実でない ; $proof$ = 
fact3 -> int1: あのもにょもいLv.29は止めど無い; int1 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact4 -> hypothesis; __DISPROVED__