そのまくまよLv.89は慌ただしくない
fact1: そのまくまよLv.89は扱い難い fact2: そのまくまよLv.89は凄くておまけに算定し難い fact3: もしそのまくまよLv.89が凄いし扱い難いならばそのまくまよLv.89は慌ただしくない
fact2 -> int1: そのまくまよLv.89は凄い; int1 & fact1 -> int2: そのまくまよLv.89は凄いししかも扱い難い; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: ({A}{a} & {C}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: そのまくまよLv.89は扱い難い fact2: そのまくまよLv.89は凄くておまけに算定し難い fact3: もしそのまくまよLv.89が凄いし扱い難いならばそのまくまよLv.89は慌ただしくない ; $hypothesis$ = そのまくまよLv.89は慌ただしくない ; $proof$ = 
fact2 -> int1: そのまくまよLv.89は凄い; int1 & fact1 -> int2: そのまくまよLv.89は凄いししかも扱い難い; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: ({A}{a} & {C}{a}); int2 & fact3 -> hypothesis; __PROVED__