そのもよもよLv.71は間断無いかまたは染み込み易い
fact1: もしあるモンスターが悲しということはないとするとそれは頻らない fact2: そのもよもよLv.71は悲し fact3: そのもよもよLv.71は頻るししかも悲し fact4: そのもよもよLv.71は挑み掛かる fact5: もし仮にそのもよもよLv.71が頻ればそれは間断無い fact6: 「あのまのまゆLv.79は頻らない」ということは事実であれば「そのもよもよLv.71は間断無いかまたはそれは染み込み易い」ということは偽だ fact7: あのもにゅもちゅLv.59は悲しかそれは心理学化するか両方だ
fact3 -> int1: そのもよもよLv.71は頻る; int1 & fact5 -> int2: そのもよもよLv.71は間断無い; int2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 -> hypothesis;
「そのもよもよLv.71は間断無いかそれは染み込み易いかもしくは両方である」ということは誤っている
fact8 -> int3: もし仮にあのまのまゆLv.79が悲しないならばあのまのまゆLv.79は頻るということはない;
$facts$ = fact1: もしあるモンスターが悲しということはないとするとそれは頻らない fact2: そのもよもよLv.71は悲し fact3: そのもよもよLv.71は頻るししかも悲し fact4: そのもよもよLv.71は挑み掛かる fact5: もし仮にそのもよもよLv.71が頻ればそれは間断無い fact6: 「あのまのまゆLv.79は頻らない」ということは事実であれば「そのもよもよLv.71は間断無いかまたはそれは染み込み易い」ということは偽だ fact7: あのもにゅもちゅLv.59は悲しかそれは心理学化するか両方だ ; $hypothesis$ = そのもよもよLv.71は間断無いかまたは染み込み易い ; $proof$ = 
fact3 -> int1: そのもよもよLv.71は頻る; int1 & fact5 -> int2: そのもよもよLv.71は間断無い; int2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 -> hypothesis; __PROVED__