「このもちょもにゅLv.75は凭れるしそれに賄い切れる」ということは成り立たない
fact1: 仮にこのもちょもにゅLv.75が大差無いとしたらこのもちょもにゅLv.75は凭れる fact2: このもちょもにゅLv.75は大差無いしそれに御高い fact3: そのもなもなLv.62は御高い fact4: そのぽいぽのLv.53は御高い fact5: このもちょもにゅLv.75は賄い切れる fact6: このもちょもにゅLv.75は姉らしい
fact2 -> int1: このもちょもにゅLv.75は大差無い; int1 & fact1 -> int2: 「このもちょもにゅLv.75は凭れる」ということは偽だということはない; int2 & fact5 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact5 -> hypothesis;
$facts$ = fact1: 仮にこのもちょもにゅLv.75が大差無いとしたらこのもちょもにゅLv.75は凭れる fact2: このもちょもにゅLv.75は大差無いしそれに御高い fact3: そのもなもなLv.62は御高い fact4: そのぽいぽのLv.53は御高い fact5: このもちょもにゅLv.75は賄い切れる fact6: このもちょもにゅLv.75は姉らしい ; $hypothesis$ = 「このもちょもにゅLv.75は凭れるしそれに賄い切れる」ということは成り立たない ; $proof$ = 
fact2 -> int1: このもちょもにゅLv.75は大差無い; int1 & fact1 -> int2: 「このもちょもにゅLv.75は凭れる」ということは偽だということはない; int2 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact5 -> hypothesis; __DISPROVED__