そのもやもわLv.68は余儀無くない
fact1: もしもそのみやみやLv.41が出歩くしそれにそれが納得し難いとしたらそのもやもわLv.68は余儀無くない fact2: そのみやみやLv.41は取っ付き難いしそれは出歩く fact3: そのみやみやLv.41は納得し難い
fact2 -> int1: そのみやみやLv.41は出歩く; int1 & fact3 -> int2: そのみやみやLv.41は出歩くしそれに納得し難い; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もしもそのみやみやLv.41が出歩くしそれにそれが納得し難いとしたらそのもやもわLv.68は余儀無くない fact2: そのみやみやLv.41は取っ付き難いしそれは出歩く fact3: そのみやみやLv.41は納得し難い ; $hypothesis$ = そのもやもわLv.68は余儀無くない ; $proof$ = 
fact2 -> int1: そのみやみやLv.41は出歩く; int1 & fact3 -> int2: そのみやみやLv.41は出歩くしそれに納得し難い; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis; __PROVED__