そのもいもねLv.60はすりゃ良いしまたそれは婚姻する
fact1: もし仮に「何らかのモンスターはすりゃ良い」ということは本当だとすれば例外無い fact2: 「そのもいもねLv.60は婚姻する」ということは事実と異なるということはない fact3: そのもいもねLv.60は例外無いし更にすりゃ良い fact4: なにがしかのモンスターは例外無くないなら「すりゃ良くて婚姻する」ということは嘘である
fact3 -> int1: そのもいもねLv.60はすりゃ良い; int1 & fact2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
「そのもいもねLv.60はすりゃ良くてそれは婚姻する」ということは成り立たない
fact5 -> int2: もしそのもいもねLv.60は例外無いということはないならば「すりゃ良いしそれは婚姻する」ということは嘘である;
$facts$ = fact1: もし仮に「何らかのモンスターはすりゃ良い」ということは本当だとすれば例外無い fact2: 「そのもいもねLv.60は婚姻する」ということは事実と異なるということはない fact3: そのもいもねLv.60は例外無いし更にすりゃ良い fact4: なにがしかのモンスターは例外無くないなら「すりゃ良くて婚姻する」ということは嘘である ; $hypothesis$ = そのもいもねLv.60はすりゃ良いしまたそれは婚姻する ; $proof$ = 
fact3 -> int1: そのもいもねLv.60はすりゃ良い; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __PROVED__