そのぽのぽいLv.74は誤り無い
fact1: 仮にあるモンスターが御辛いとしたらそれは弱々しい fact2: このぴにょぴいLv.4は割れ易い fact3: もしあのぷにぷゆLv.33が弱々しいならばこのぴにょぴいLv.4は割れ易いということはない一方で落ち着く fact4: 「このぴにょぴいLv.4は落ち着く」ということは事実だ fact5: 割れ易いモンスターであってしかも落ち着くモンスターがいるとすればそのぽのぽいLv.74は誤り無い
fact2 & fact4 -> int1: このぴにょぴいLv.4は割れ易いし落ち着く; int1 -> int2: なにがしかのモンスターは割れ易くておまけに落ち着く; int2 & fact5 -> hypothesis;
fact2 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact5 -> hypothesis;
そのぽのぽいLv.74は誤り無くない
fact7 -> int3: もし仮にあのぷにぷゆLv.33が御辛いなら弱々しい;
$facts$ = fact1: 仮にあるモンスターが御辛いとしたらそれは弱々しい fact2: このぴにょぴいLv.4は割れ易い fact3: もしあのぷにぷゆLv.33が弱々しいならばこのぴにょぴいLv.4は割れ易いということはない一方で落ち着く fact4: 「このぴにょぴいLv.4は落ち着く」ということは事実だ fact5: 割れ易いモンスターであってしかも落ち着くモンスターがいるとすればそのぽのぽいLv.74は誤り無い ; $hypothesis$ = そのぽのぽいLv.74は誤り無い ; $proof$ = 
fact2 & fact4 -> int1: このぴにょぴいLv.4は割れ易いし落ち着く; int1 -> int2: なにがしかのモンスターは割れ易くておまけに落ち着く; int2 & fact5 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact5 -> hypothesis; __PROVED__