「あのもにゅもにゅLv.85は遜色無いしまた誇らしい」ということは成り立たない
fact1: あのもにゅもにゅLv.85は誇らしい fact2: もしそのもにゅもよLv.75が宣揚するとしたらあのみわみくLv.50は百姓らしい fact3: あのみわみくLv.50は百姓らしいとすれば「あのもにゅもにゅLv.85は遜色無い」ということは事実である fact4: そのもにゅもよLv.75は宣揚する
fact2 & fact4 -> int1: あのみわみくLv.50は百姓らしい; int1 & fact3 -> int2: あのもにゅもにゅLv.85は遜色無い; int2 & fact1 -> hypothesis;
fact2 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact1 -> hypothesis;
$facts$ = fact1: あのもにゅもにゅLv.85は誇らしい fact2: もしそのもにゅもよLv.75が宣揚するとしたらあのみわみくLv.50は百姓らしい fact3: あのみわみくLv.50は百姓らしいとすれば「あのもにゅもにゅLv.85は遜色無い」ということは事実である fact4: そのもにゅもよLv.75は宣揚する ; $hypothesis$ = 「あのもにゅもにゅLv.85は遜色無いしまた誇らしい」ということは成り立たない ; $proof$ = 
fact2 & fact4 -> int1: あのみわみくLv.50は百姓らしい; int1 & fact3 -> int2: あのもにゅもにゅLv.85は遜色無い; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact1 -> hypothesis; __DISPROVED__