その説明抜きは構造転換だ
fact1: あの立ち入り検査が構造転換であるかまたはそれが出来易くないかあるいは両方ともだとすればその説明抜きは構造転換でない fact2: もしあの立ち入り検査が出来易いならばあの説明抜きは構造転換だ fact3: あの立ち入り検査は出来易い
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
その説明抜きは構造転換でない
$facts$ = fact1: あの立ち入り検査が構造転換であるかまたはそれが出来易くないかあるいは両方ともだとすればその説明抜きは構造転換でない fact2: もしあの立ち入り検査が出来易いならばあの説明抜きは構造転換だ fact3: あの立ち入り検査は出来易い ; $hypothesis$ = その説明抜きは構造転換だ ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: あの立ち入り検査が構造転換であるかまたはそれが出来易くないかあるいは両方ともだとすればその説明抜きは構造転換でない
事実2: もしあの立ち入り検査が出来易いならばあの説明抜きは構造転換だ
事実3: あの立ち入り検査は出来易い

仮説: その説明抜きは構造転換だ
1. 事実2と事実3から、仮説が導かれる

よって、仮説が証明されました。