もしもそのみいみくLv.26が冗談ぽいならそのぴにぴえLv.98は拉致する
fact1: もしそのみいみくLv.26が冗談ぽいならばこのもわもねLv.22は順応し易い fact2: もし仮にこのもわもねLv.22が冗談ぽいならそのみいみくLv.26は順応し易い fact3: もし仮にそのぴにぴえLv.98が順応し易いならばこのもわもねLv.22は拉致する fact4: 仮にこのもわもねLv.22が順応し易いとしたらそのぴにぴえLv.98は拉致する
void -> assump1: 以下のように仮定する。そのみいみくLv.26は冗談ぽい; fact1 & assump1 -> int1: このもわもねLv.22は順応し易い; int1 & fact4 -> int2: そのぴにぴえLv.98は拉致する; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしそのみいみくLv.26が冗談ぽいならばこのもわもねLv.22は順応し易い fact2: もし仮にこのもわもねLv.22が冗談ぽいならそのみいみくLv.26は順応し易い fact3: もし仮にそのぴにぴえLv.98が順応し易いならばこのもわもねLv.22は拉致する fact4: 仮にこのもわもねLv.22が順応し易いとしたらそのぴにぴえLv.98は拉致する ; $hypothesis$ = もしもそのみいみくLv.26が冗談ぽいならそのぴにぴえLv.98は拉致する ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみいみくLv.26は冗談ぽい; fact1 & assump1 -> int1: このもわもねLv.22は順応し易い; int1 & fact4 -> int2: そのぴにぴえLv.98は拉致する; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; [assump1] & int2 -> hypothesis; __PROVED__