このＡＬ‐ＳＡは維持し続けない
fact1: このＡＬ‐ＳＡは荒らす fact2: もしこのＡＬ‐ＳＡが荒らすならそれは維持し続ける fact3: あの京都都心部は荒らす
$facts$ = fact1: このＡＬ‐ＳＡは荒らす fact2: もしこのＡＬ‐ＳＡが荒らすならそれは維持し続ける fact3: あの京都都心部は荒らす ; $hypothesis$ = このＡＬ‐ＳＡは維持し続けない ; $proof$ = 
事実1: このＡＬ‐ＳＡは荒らす
事実2: もしこのＡＬ‐ＳＡが荒らすならそれは維持し続ける
事実3: あの京都都心部は荒らす

仮説: このＡＬ‐ＳＡは維持し続けない