あのもねもよLv.86は後ろ暗い
fact1: もし仮にこのまわまのLv.72が介さないとするとあのもねもよLv.86が取得し易いしその上それは後ろ暗い fact2: このまわまのLv.72は介さない fact3: このもくもいLv.47は介す fact4: 仮に「このまわまのLv.72は介すかまたは程良いかもしくはどちらもだ」ということは事実と異なればあのもねもよLv.86は後ろ暗くない
fact1 & fact2 -> int1: あのもねもよLv.86は取得し易いしおまけに後ろ暗い; int1 -> hypothesis;
fact1 & fact2 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis;
あのもねもよLv.86は後ろ暗くない
$facts$ = fact1: もし仮にこのまわまのLv.72が介さないとするとあのもねもよLv.86が取得し易いしその上それは後ろ暗い fact2: このまわまのLv.72は介さない fact3: このもくもいLv.47は介す fact4: 仮に「このまわまのLv.72は介すかまたは程良いかもしくはどちらもだ」ということは事実と異なればあのもねもよLv.86は後ろ暗くない ; $hypothesis$ = あのもねもよLv.86は後ろ暗い ; $proof$ = 
fact1 & fact2 -> int1: あのもねもよLv.86は取得し易いしおまけに後ろ暗い; int1 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis; __PROVED__