あのまゆまにゃLv.82はすげなくておまけにそれは投票する
fact1: あのまゆまにゃLv.82は投票する fact2: もし仮に「なんらかのモンスターは脂っこくて伸び切る」ということは間違っているとすると売れ続けるということはない fact3: あのまゆまにゃLv.82はすげないしその上売れ続ける
fact3 -> int1: あのまゆまにゃLv.82はすげない; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
「あのまゆまにゃLv.82はすげなくて投票する」ということは偽だ
fact4 -> int2: 「このもくもえLv.61は脂っこくておまけにそれは伸び切る」ということは事実と異なるとするとこのもくもえLv.61は売れ続けるということはない;
$facts$ = fact1: あのまゆまにゃLv.82は投票する fact2: もし仮に「なんらかのモンスターは脂っこくて伸び切る」ということは間違っているとすると売れ続けるということはない fact3: あのまゆまにゃLv.82はすげないしその上売れ続ける ; $hypothesis$ = あのまゆまにゃLv.82はすげなくておまけにそれは投票する ; $proof$ = 
fact3 -> int1: あのまゆまにゃLv.82はすげない; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__