「あのぷゆぷにLv.51は折れ易い」ということは成り立たない
fact1: 「あのもにゅもわLv.35は放火する」ということは本当だ fact2: このぷにょぷにゅLv.64はさり気無い fact3: もし仮にあのぷゆぷにLv.51が放火するとしたらそれは折れ易い fact4: もし仮にこのぷにょぷにゅLv.64がさり気無いならあのぷゆぷにLv.51は放火する
fact4 & fact2 -> int1: あのぷゆぷにLv.51は放火する; int1 & fact3 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
「あのぷゆぷにLv.51は折れ易い」ということは成り立たない
$facts$ = fact1: 「あのもにゅもわLv.35は放火する」ということは本当だ fact2: このぷにょぷにゅLv.64はさり気無い fact3: もし仮にあのぷゆぷにLv.51が放火するとしたらそれは折れ易い fact4: もし仮にこのぷにょぷにゅLv.64がさり気無いならあのぷゆぷにLv.51は放火する ; $hypothesis$ = 「あのぷゆぷにLv.51は折れ易い」ということは成り立たない ; $proof$ = 
fact4 & fact2 -> int1: あのぷゆぷにLv.51は放火する; int1 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis; __DISPROVED__