あのぽわぽねLv.82は立証するかもしくは出会い易いかどちらもである
fact1: もしなんらかのモンスターは立ち現われないとすると「それは立証するかあるいは出会い易いかまたはどちらもである」ということは成り立たない fact2: もしもこのもいもゆLv.26が出会い易いならあのぽわぽねLv.82は立ち現われる fact3: もし仮にあのぷくぷにゃLv.23が理屈っぽいとしたらあのぽわぽねLv.82は出会い易い fact4: このもいもゆLv.26は立ち現われる
「あのぽわぽねLv.82は立証するか出会い易いかもしくはどちらもである」ということは間違っている
fact5 -> int1: 仮にこのもいもゆLv.26は立ち現われないならば「それは立証するかもしくはそれは出会い易い」ということは成り立たない;
$facts$ = fact1: もしなんらかのモンスターは立ち現われないとすると「それは立証するかあるいは出会い易いかまたはどちらもである」ということは成り立たない fact2: もしもこのもいもゆLv.26が出会い易いならあのぽわぽねLv.82は立ち現われる fact3: もし仮にあのぷくぷにゃLv.23が理屈っぽいとしたらあのぽわぽねLv.82は出会い易い fact4: このもいもゆLv.26は立ち現われる ; $hypothesis$ = あのぽわぽねLv.82は立証するかもしくは出会い易いかどちらもである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__