「「築き難いということが起こるが故無いということは発生しない」ということは故無いということは発生しないということにより生じる」ということは誤りだ
fact1: たわいないということは起こらないなら居辛いということが発生するか故無いということは生じない fact2: 算定し難いということは「美しいということが発生するがしかし算定し難いということは発生しない」ということを招く fact3: 弾き易いということが発生する fact4: 熱いということが発生する fact5: 弾き易いということが発生するということは築き難いということを発生させる fact6: もし仮に「たわいないということが生じるけれどみちゃみなLv.58事件は発生しない」ということは誤っているとしたら「たわいないということは起こらない」ということは確かだ fact7: 詳しいということは短いということに誘発される
fact5 & fact3 -> int1: 築き難いということが生じる; void -> assump1: 以下のように仮定する。故無いということは起こらない; int1 & assump1 -> int2: 「築き難いということが起きる一方で故無いということは発生しない」ということは確かだ; [assump1] & int2 -> hypothesis;
fact5 & fact3 -> int1: {B}; void -> assump1: ¬{C}; int1 & assump1 -> int2: ({B} & ¬{C}); [assump1] & int2 -> hypothesis;
軟らかいということは起きない
$facts$ = fact1: たわいないということは起こらないなら居辛いということが発生するか故無いということは生じない fact2: 算定し難いということは「美しいということが発生するがしかし算定し難いということは発生しない」ということを招く fact3: 弾き易いということが発生する fact4: 熱いということが発生する fact5: 弾き易いということが発生するということは築き難いということを発生させる fact6: もし仮に「たわいないということが生じるけれどみちゃみなLv.58事件は発生しない」ということは誤っているとしたら「たわいないということは起こらない」ということは確かだ fact7: 詳しいということは短いということに誘発される ; $hypothesis$ = 「「築き難いということが起こるが故無いということは発生しない」ということは故無いということは発生しないということにより生じる」ということは誤りだ ; $proof$ = 
fact5 & fact3 -> int1: 築き難いということが生じる; void -> assump1: 以下のように仮定する。故無いということは起こらない; int1 & assump1 -> int2: 「築き難いということが起きる一方で故無いということは発生しない」ということは確かだ; [assump1] & int2 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}; void -> assump1: ¬{C}; int1 & assump1 -> int2: ({B} & ¬{C}); [assump1] & int2 -> hypothesis; __DISPROVED__