仮に「このシステムフォルダ内がトレードしないしさらにびくつかない」ということは間違いであるとしたらそれは恐ろしくない
fact1: 仮に「とある物がトレードしないしさらにそれはびくつかない」ということは誤りであるとするとそれは恐ろしくない
$facts$ = fact1: 仮に「とある物がトレードしないしさらにそれはびくつかない」ということは誤りであるとするとそれは恐ろしくない ; $hypothesis$ = 仮に「このシステムフォルダ内がトレードしないしさらにびくつかない」ということは間違いであるとしたらそれは恐ろしくない ; $proof$ = 
事実1: 仮に「とある物がトレードしないしさらにそれはびくつかない」ということは誤りであるとするとそれは恐ろしくない

仮説: 仮に「このシステムフォルダ内がトレードしないしさらにびくつかない」ということは間違いであるとしたらそれは恐ろしくない