心配することが起こる
fact1: もし仮に入力し終わることが起こるかあるいはえげつないということが生じるかまたはどちらもだとすれば「心配することは起きない」ということは成り立つ
$facts$ = fact1: もし仮に入力し終わることが起こるかあるいはえげつないということが生じるかまたはどちらもだとすれば「心配することは起きない」ということは成り立つ ; $hypothesis$ = 心配することが起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__