「常連らしいということが起きる」ということは成り立つということはない
fact1: 近いということが生じる
void -> assump1: 以下のように仮定する。「常連らしいということが発生する」ということは事実である; assump1 -> int1: 取り易いということかもしくは常連らしいということかまたは両方が発生する;
void -> assump1: {B}; assump1 -> int1: ({A} v {B});
$facts$ = fact1: 近いということが生じる ; $hypothesis$ = 「常連らしいということが起きる」ということは成り立つということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__