「「もし「可愛いがしかし取捨選択出来ない」ということは成り立たないなら説明し易くない」モンスターはいる」ということは嘘である
fact1: もし「そのぽわぽいLv.36は可愛いが取捨選択出来ない」ということは事実でないならばそのぽわぽいLv.36は説明し易くない fact2: もしもそのぽわぽいLv.36が可愛くないとすればそのぽわぽいLv.36は説明し易くない fact3: 「仮に「可愛いししかも取捨選択出来ない」ということは嘘だとしたら説明し易い」モンスターはいる
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もし「そのぽわぽいLv.36は可愛いが取捨選択出来ない」ということは事実でないならばそのぽわぽいLv.36は説明し易くない fact2: もしもそのぽわぽいLv.36が可愛くないとすればそのぽわぽいLv.36は説明し易くない fact3: 「仮に「可愛いししかも取捨選択出来ない」ということは嘘だとしたら説明し易い」モンスターはいる ; $hypothesis$ = 「「もし「可愛いがしかし取捨選択出来ない」ということは成り立たないなら説明し易くない」モンスターはいる」ということは嘘である ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
fact1 -> hypothesis; __DISPROVED__