「「「侮蔑するがログオンするということはない」ということは嘘だとしたら大人しい」モンスターはいる」ということは成り立たない
fact1: もし仮に「とあるモンスターは印象深い一方で縁遠くない」ということは事実と異なるならかったるい fact2: 「侮蔑するけどログオンしないとすると大人しい」モンスターはいる fact3: もし「あのぷえぷいLv.11は侮蔑するがしかしログオンしない」ということは成り立たないとしたらそれは大人しい fact4: 「もし仮に配置転換すれば出入りし易い」モンスターはいる
fact3 -> hypothesis;
fact3 -> hypothesis;
「もし「「印象深くてかつ縁遠くない」ということは成り立つ」ということは成り立たないとすればかったるい」モンスターはいる
fact5 -> int1: 「あのみなみにょLv.61は印象深いが縁遠くない」ということは間違いだとしたらそれはかったるい; int1 -> hypothesis;
$facts$ = fact1: もし仮に「とあるモンスターは印象深い一方で縁遠くない」ということは事実と異なるならかったるい fact2: 「侮蔑するけどログオンしないとすると大人しい」モンスターはいる fact3: もし「あのぷえぷいLv.11は侮蔑するがしかしログオンしない」ということは成り立たないとしたらそれは大人しい fact4: 「もし仮に配置転換すれば出入りし易い」モンスターはいる ; $hypothesis$ = 「「「侮蔑するがログオンするということはない」ということは嘘だとしたら大人しい」モンスターはいる」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
fact3 -> hypothesis; __DISPROVED__