「このみにゅみちゅLv.17は骨っぽいがしかしプレゼンテーションしない」ということは成り立たない
fact1: このみにゅみちゅLv.17はプレゼンテーションしない fact2: もし仮にこのもにゅもにゅLv.30が伺候するとすればこのみにゅみちゅLv.17は骨っぽい fact3: このもにゅもにゅLv.30は鎮火するしかつそれは伺候する fact4: このもにゅもにゅLv.30は鎮火する fact5: もし仮にこのもにゅもにゅLv.30がプレゼンテーションすればこのみにゅみちゅLv.17は伺候する
fact3 -> int1: このもにゅもにゅLv.30は伺候する; int1 & fact2 -> int2: このみにゅみちゅLv.17は骨っぽい; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: このみにゅみちゅLv.17はプレゼンテーションしない fact2: もし仮にこのもにゅもにゅLv.30が伺候するとすればこのみにゅみちゅLv.17は骨っぽい fact3: このもにゅもにゅLv.30は鎮火するしかつそれは伺候する fact4: このもにゅもにゅLv.30は鎮火する fact5: もし仮にこのもにゅもにゅLv.30がプレゼンテーションすればこのみにゅみちゅLv.17は伺候する ; $hypothesis$ = 「このみにゅみちゅLv.17は骨っぽいがしかしプレゼンテーションしない」ということは成り立たない ; $proof$ = 
fact3 -> int1: このもにゅもにゅLv.30は伺候する; int1 & fact2 -> int2: このみにゅみちゅLv.17は骨っぽい; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__