「そのもなもえLv.87は触媒するかもしくは感じ難くない」ということは間違いだ
fact1: このもわもねLv.97がちぎれ易くなくて加えて心許なくないならばあのみゆみなLv.29は淡い fact2: このもわもねLv.97はちぎれ易くないししかもそれは心許なくない fact3: もしあのみゆみなLv.29が淡いとしたらそれは感じ難くない fact4: もしもあのみゆみなLv.29が感じ難くないとするとそのもなもえLv.87は触媒するかあるいは感じ難くないかあるいは両方ともだ
fact1 & fact2 -> int1: あのみゆみなLv.29は淡い; int1 & fact3 -> int2: 「あのみゆみなLv.29は感じ難い」ということは誤りである; int2 & fact4 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> int2: ¬{A}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このもわもねLv.97がちぎれ易くなくて加えて心許なくないならばあのみゆみなLv.29は淡い fact2: このもわもねLv.97はちぎれ易くないししかもそれは心許なくない fact3: もしあのみゆみなLv.29が淡いとしたらそれは感じ難くない fact4: もしもあのみゆみなLv.29が感じ難くないとするとそのもなもえLv.87は触媒するかあるいは感じ難くないかあるいは両方ともだ ; $hypothesis$ = 「そのもなもえLv.87は触媒するかもしくは感じ難くない」ということは間違いだ ; $proof$ = 
fact1 & fact2 -> int1: あのみゆみなLv.29は淡い; int1 & fact3 -> int2: 「あのみゆみなLv.29は感じ難い」ということは誤りである; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> int2: ¬{A}{b}; int2 & fact4 -> hypothesis; __DISPROVED__