もし「この新建材は呪わしい」ということは本当であるとするとその新制度は判断し得る
fact1: この新建材は分解され難い fact2: この新建材が寄る辺無いならばこのゴルファーは呪わしいがしかし分解され難いということはない fact3: もしもこの新建材が呪わしいとすればその新制度は分解され難い fact4: 呪わしいものは判断し得る fact5: 「この新建材は判断し得る」ということは成り立つ fact6: 分解され難い物は判断し得る fact7: あの絶縁材は呪わしい
void -> assump1: 以下のように仮定する。この新建材は呪わしい; fact3 & assump1 -> int1: その新制度は分解され難い; fact6 -> int2: もし仮に「その新制度は分解され難い」ということは確かであるならばそれは判断し得る; int1 & int2 -> int3: その新制度は判断し得る; [assump1] & int3 -> hypothesis;
このゴルファーは判断し得る
fact9 -> int4: 仮にこのゴルファーが呪わしいなら判断し得る;
$facts$ = fact1: この新建材は分解され難い fact2: この新建材が寄る辺無いならばこのゴルファーは呪わしいがしかし分解され難いということはない fact3: もしもこの新建材が呪わしいとすればその新制度は分解され難い fact4: 呪わしいものは判断し得る fact5: 「この新建材は判断し得る」ということは成り立つ fact6: 分解され難い物は判断し得る fact7: あの絶縁材は呪わしい ; $hypothesis$ = もし「この新建材は呪わしい」ということは本当であるとするとその新制度は判断し得る ; $proof$ = 
void -> assump1: 以下のように仮定する。この新建材は呪わしい; fact3 & assump1 -> int1: その新制度は分解され難い; fact6 -> int2: もし仮に「その新制度は分解され難い」ということは確かであるならばそれは判断し得る; int1 & int2 -> int3: その新制度は判断し得る; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この新建材は分解され難い
事実2: この新建材が寄る辺無いならばこのゴルファーは呪わしいがしかし分解され難いということはない
事実3: もしもこの新建材が呪わしいとすればその新制度は分解され難い
事実4: 呪わしいものは判断し得る
事実5: 「この新建材は判断し得る」ということは成り立つ
事実6: 分解され難い物は判断し得る
事実7: あの絶縁材は呪わしい

仮説: もし「この新建材は呪わしい」ということは本当であるとするとその新制度は判断し得る
1. 仮定1: 以下のように仮定する。この新建材は呪わしい
2. 事実3と仮定1から、推論1: "その新制度は分解され難い"が導かれる
3. 事実6から、推論2: "もし仮に「その新制度は分解され難い」ということは確かであるならばそれは判断し得る"が導かれる
4. 推論1と推論2から、推論3: "その新制度は判断し得る"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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