「そのもにょもくLv.65は汚れ難くないかもしくはそれは選択され易い」ということは成り立たない
fact1: そのもにょもくLv.65は汚れ難いかもしくは選択され易いかもしくは両方である fact2: 嫌らしいモンスターは商人らしい fact3: あのぷやぷやLv.97は答え為さる fact4: 仮にあのぷやぷやLv.97が汚れ難いならそのもにょもくLv.65は汚れ難くないかもしくは選択され易いかもしくは両方ともだ fact5: もし何らかのモンスターは答え為さるとしたら「それは汚れ難い」ということは真実である
fact5 -> int1: もし仮にあのぷやぷやLv.97は答え為さるとすれば「汚れ難い」ということは正しい; int1 & fact3 -> int2: あのぷやぷやLv.97は汚れ難い; int2 & fact4 -> hypothesis;
fact5 -> int1: {A}{aa} -> {C}{aa}; int1 & fact3 -> int2: {C}{aa}; int2 & fact4 -> hypothesis;
$facts$ = fact1: そのもにょもくLv.65は汚れ難いかもしくは選択され易いかもしくは両方である fact2: 嫌らしいモンスターは商人らしい fact3: あのぷやぷやLv.97は答え為さる fact4: 仮にあのぷやぷやLv.97が汚れ難いならそのもにょもくLv.65は汚れ難くないかもしくは選択され易いかもしくは両方ともだ fact5: もし何らかのモンスターは答え為さるとしたら「それは汚れ難い」ということは真実である ; $hypothesis$ = 「そのもにょもくLv.65は汚れ難くないかもしくはそれは選択され易い」ということは成り立たない ; $proof$ = 
fact5 -> int1: もし仮にあのぷやぷやLv.97は答え為さるとすれば「汚れ難い」ということは正しい; int1 & fact3 -> int2: あのぷやぷやLv.97は汚れ難い; int2 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{aa} -> {C}{aa}; int1 & fact3 -> int2: {C}{aa}; int2 & fact4 -> hypothesis; __DISPROVED__