「物寂しいということが発生する」ということは再整備することは生じないということを防ぐ
fact1: 物寂しいということは「日本らしいということは起こらない」ということを阻む fact2: 「楽しみすることおよび物寂しいということが発生する」ということは「日本らしいということは起こらない」ということが原因である fact3: 「再整備することが発生する」ということは日本らしいということが起きるということに起因する
void -> assump1: 以下のように仮定する。物寂しいということが起こる; fact1 & assump1 -> int1: 日本らしいということが起こる; int1 & fact3 -> int2: 再整備することが起こる; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: {C}; [assump1] & int2 -> hypothesis;
楽しみすることが起きる
$facts$ = fact1: 物寂しいということは「日本らしいということは起こらない」ということを阻む fact2: 「楽しみすることおよび物寂しいということが発生する」ということは「日本らしいということは起こらない」ということが原因である fact3: 「再整備することが発生する」ということは日本らしいということが起きるということに起因する ; $hypothesis$ = 「物寂しいということが発生する」ということは再整備することは生じないということを防ぐ ; $proof$ = 
void -> assump1: 以下のように仮定する。物寂しいということが起こる; fact1 & assump1 -> int1: 日本らしいということが起こる; int1 & fact3 -> int2: 再整備することが起こる; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: {C}; [assump1] & int2 -> hypothesis; __PROVED__