そのブラウンフィールドは前倒ししない
fact1: あの小人数は残り難いかもしくはそれは選択され易い fact2: もし仮にあの小人数が残り難いとすればそのブラウンフィールドは前倒しする fact3: もし仮にあの小人数が選択され易いとするとそのブラウンフィールドは前倒しする
$facts$ = fact1: あの小人数は残り難いかもしくはそれは選択され易い fact2: もし仮にあの小人数が残り難いとすればそのブラウンフィールドは前倒しする fact3: もし仮にあの小人数が選択され易いとするとそのブラウンフィールドは前倒しする ; $hypothesis$ = そのブラウンフィールドは前倒ししない ; $proof$ = 
事実1: あの小人数は残り難いかもしくはそれは選択され易い
事実2: もし仮にあの小人数が残り難いとすればそのブラウンフィールドは前倒しする
事実3: もし仮にあの小人数が選択され易いとするとそのブラウンフィールドは前倒しする

仮説: そのブラウンフィールドは前倒ししない