そのぴちょぴよLv.4は飲み難い
fact1: もしもそのぴちょぴよLv.4が平たいとすれば理解し辛い fact2: もしもあのみえみえLv.3が見え辛いか難くないかまたはどちらもならばこのもちゃもにLv.94は平たくない fact3: そのぴちょぴよLv.4は平たい fact4: 仮にそのぴちょぴよLv.4が理解し辛いとすると飲み難い
fact1 & fact3 -> int1: そのぴちょぴよLv.4は理解し辛い; int1 & fact4 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
そのぴちょぴよLv.4は飲み難くない
$facts$ = fact1: もしもそのぴちょぴよLv.4が平たいとすれば理解し辛い fact2: もしもあのみえみえLv.3が見え辛いか難くないかまたはどちらもならばこのもちゃもにLv.94は平たくない fact3: そのぴちょぴよLv.4は平たい fact4: 仮にそのぴちょぴよLv.4が理解し辛いとすると飲み難い ; $hypothesis$ = そのぴちょぴよLv.4は飲み難い ; $proof$ = 
fact1 & fact3 -> int1: そのぴちょぴよLv.4は理解し辛い; int1 & fact4 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}{a}; int1 & fact4 -> hypothesis; __PROVED__