「このぴちゅぴゆLv.96は敢え無いししかもそれは流行り始める」ということは成り立たない
fact1: もし仮に「なんらかのモンスターは清しないが痛める」ということは偽だとしたら痛めるということはない fact2: もしもとあるモンスターは御話出来るとしたら「それは清しということはないが痛める」ということは成り立たない fact3: このぴちゅぴゆLv.96は敢え無い fact4: 敢え無くないモンスターは流行り始める fact5: 全てのモンスターは御話出来る fact6: このまゆまくLv.90は流行り始める fact7: このぴちゅぴゆLv.96は流行り始める
fact3 -> int1: このぴちゅぴゆLv.96は敢え無い; int1 & fact7 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact7 -> hypothesis;
このぴよぴにゃLv.37は流行り始める
fact8 -> int2: もし仮にこのぴよぴにゃLv.37が敢え無くないならそれは流行り始める;
$facts$ = fact1: もし仮に「なんらかのモンスターは清しないが痛める」ということは偽だとしたら痛めるということはない fact2: もしもとあるモンスターは御話出来るとしたら「それは清しということはないが痛める」ということは成り立たない fact3: このぴちゅぴゆLv.96は敢え無い fact4: 敢え無くないモンスターは流行り始める fact5: 全てのモンスターは御話出来る fact6: このまゆまくLv.90は流行り始める fact7: このぴちゅぴゆLv.96は流行り始める ; $hypothesis$ = 「このぴちゅぴゆLv.96は敢え無いししかもそれは流行り始める」ということは成り立たない ; $proof$ = 
fact3 -> int1: このぴちゅぴゆLv.96は敢え無い; int1 & fact7 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact7 -> hypothesis; __DISPROVED__