この未定は紹介しない
fact1: もしそのエネルギー準位が紹介するとすればあの未定は解明す fact2: 仮に「解明すかもしくは御安いか両方ともである」ものがあるとしたらこの未定は紹介する fact3: その安アパートが観察し易いとすればあのエネルギー準位は御安い fact4: その安アパートはオーケーするししかも観察し易い fact5: そのエネルギー準位はオーケーする fact6: もしも「解明す」物があればこの未定は紹介する fact7: そのエネルギー準位がアメリカ式でないならばその安アパートは御安いし解明す fact8: その安アパートはオーケーする
fact4 -> int1: その安アパートは観察し易い; int1 & fact3 -> int2: そのエネルギー準位は御安い; int2 -> int3: そのエネルギー準位は解明すかもしくは御安いかあるいはどちらもである; int3 -> int4: なにかは解明すかあるいは御安いかあるいは両方ともである; int4 & fact2 -> hypothesis;
この未定は紹介しない
$facts$ = fact1: もしそのエネルギー準位が紹介するとすればあの未定は解明す fact2: 仮に「解明すかもしくは御安いか両方ともである」ものがあるとしたらこの未定は紹介する fact3: その安アパートが観察し易いとすればあのエネルギー準位は御安い fact4: その安アパートはオーケーするししかも観察し易い fact5: そのエネルギー準位はオーケーする fact6: もしも「解明す」物があればこの未定は紹介する fact7: そのエネルギー準位がアメリカ式でないならばその安アパートは御安いし解明す fact8: その安アパートはオーケーする ; $hypothesis$ = この未定は紹介しない ; $proof$ = 
fact4 -> int1: その安アパートは観察し易い; int1 & fact3 -> int2: そのエネルギー準位は御安い; int2 -> int3: そのエネルギー準位は解明すかもしくは御安いかあるいはどちらもである; int3 -> int4: なにかは解明すかあるいは御安いかあるいは両方ともである; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もしそのエネルギー準位が紹介するとすればあの未定は解明す
事実2: 仮に「解明すかもしくは御安いか両方ともである」ものがあるとしたらこの未定は紹介する
事実3: その安アパートが観察し易いとすればあのエネルギー準位は御安い
事実4: その安アパートはオーケーするししかも観察し易い
事実5: そのエネルギー準位はオーケーする
事実6: もしも「解明す」物があればこの未定は紹介する
事実7: そのエネルギー準位がアメリカ式でないならばその安アパートは御安いし解明す
事実8: その安アパートはオーケーする

仮説: この未定は紹介しない
1. 事実4から、推論1: "その安アパートは観察し易い"が導かれる
2. 推論1と事実3から、推論2: "そのエネルギー準位は御安い"が導かれる
3. 推論2から、推論3: "そのエネルギー準位は解明すかもしくは御安いかあるいはどちらもである"が導かれる
4. 推論3から、推論4: "なにかは解明すかあるいは御安いかあるいは両方ともである"が導かれる
5. 推論4と事実2から、仮説が否定される

よって、仮説が否定されました。