「もし味気なくないか限界費用上昇でないか両方ともであるとすれば間接照明だということはない」ものはある
fact1: もしもあの立体自動倉庫は味気なくないかもしくは限界費用上昇でないかもしくは両方ならばそれは間接照明であるということはない
$facts$ = fact1: もしもあの立体自動倉庫は味気なくないかもしくは限界費用上昇でないかもしくは両方ならばそれは間接照明であるということはない ; $hypothesis$ = 「もし味気なくないか限界費用上昇でないか両方ともであるとすれば間接照明だということはない」ものはある ; $proof$ = 
事実1: もしもあの立体自動倉庫は味気なくないかもしくは限界費用上昇でないかもしくは両方ならばそれは間接照明であるということはない

仮説: 「もし味気なくないか限界費用上昇でないか両方ともであるとすれば間接照明だということはない」ものはある