「あのみねみちゃLv.6は口汚くなくてそれは出難くない」ということは誤りだ
fact1: 仮にあのみねみちゃLv.6は砕け易いとすれば「そのまえまよLv.8は口汚くない」ということは成り立つ fact2: そのまえまよLv.8は逃れ難いとすると「そのまえまよLv.8は伝え難い」ということは成り立つ fact3: そのまえまよLv.8は逃れ難いし更に砕け易い fact4: もしもそのまえまよLv.8が伝え難いとするとあのみねみちゃLv.6は口汚くないし更に出難くない fact5: あのみねみちゃLv.6が逃れ難いとすればそのまえまよLv.8は口汚くないし砕け易くない
fact3 -> int1: そのまえまよLv.8は逃れ難い; int1 & fact2 -> int2: そのまえまよLv.8は伝え難い; int2 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 仮にあのみねみちゃLv.6は砕け易いとすれば「そのまえまよLv.8は口汚くない」ということは成り立つ fact2: そのまえまよLv.8は逃れ難いとすると「そのまえまよLv.8は伝え難い」ということは成り立つ fact3: そのまえまよLv.8は逃れ難いし更に砕け易い fact4: もしもそのまえまよLv.8が伝え難いとするとあのみねみちゃLv.6は口汚くないし更に出難くない fact5: あのみねみちゃLv.6が逃れ難いとすればそのまえまよLv.8は口汚くないし砕け易くない ; $hypothesis$ = 「あのみねみちゃLv.6は口汚くなくてそれは出難くない」ということは誤りだ ; $proof$ = 
fact3 -> int1: そのまえまよLv.8は逃れ難い; int1 & fact2 -> int2: そのまえまよLv.8は伝え難い; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__