「「伝え易くないけど月明な」ものはある」ということは成り立たない
fact1: あのアンジオテンシン変換酵素は不効用である fact2: とある物は心置き無い fact3: あのアンジオテンシン変換酵素が自閉しないとすると伝え易いということはないしおまけにそれは月明である fact4: 「あのアンジオテンシン変換酵素は伝え易いが自閉しない」ということは誤っている fact5: あのアンジオテンシン変換酵素は心置き無い不効用であるとすればそれは自閉しない fact6: もし仮にあのアンジオテンシン変換酵素が出来難くないかあるいは産業技術でないか両方であるとすると心置き無い fact7: 仮にあのアンジオテンシン変換酵素が出来難くないなら心置き無い fact8: あのアンジオテンシン変換酵素は出来難くないかあるいは産業技術でない
fact6 & fact8 -> int1: 「あのアンジオテンシン変換酵素は心置き無い」ということは成り立つ; int1 & fact1 -> int2: あのアンジオテンシン変換酵素は心置き無くて不効用である; int2 & fact5 -> int3: あのアンジオテンシン変換酵素は自閉しない; int3 & fact3 -> int4: あのアンジオテンシン変換酵素は伝え易くないが月明だ; int4 -> hypothesis;
あのＤＴＱは出来難くないがしかし対象疾患である
$facts$ = fact1: あのアンジオテンシン変換酵素は不効用である fact2: とある物は心置き無い fact3: あのアンジオテンシン変換酵素が自閉しないとすると伝え易いということはないしおまけにそれは月明である fact4: 「あのアンジオテンシン変換酵素は伝え易いが自閉しない」ということは誤っている fact5: あのアンジオテンシン変換酵素は心置き無い不効用であるとすればそれは自閉しない fact6: もし仮にあのアンジオテンシン変換酵素が出来難くないかあるいは産業技術でないか両方であるとすると心置き無い fact7: 仮にあのアンジオテンシン変換酵素が出来難くないなら心置き無い fact8: あのアンジオテンシン変換酵素は出来難くないかあるいは産業技術でない ; $hypothesis$ = 「「伝え易くないけど月明な」ものはある」ということは成り立たない ; $proof$ = 
fact6 & fact8 -> int1: 「あのアンジオテンシン変換酵素は心置き無い」ということは成り立つ; int1 & fact1 -> int2: あのアンジオテンシン変換酵素は心置き無くて不効用である; int2 & fact5 -> int3: あのアンジオテンシン変換酵素は自閉しない; int3 & fact3 -> int4: あのアンジオテンシン変換酵素は伝え易くないが月明だ; int4 -> hypothesis; __DISPROVED__
事実1: あのアンジオテンシン変換酵素は不効用である
事実2: とある物は心置き無い
事実3: あのアンジオテンシン変換酵素が自閉しないとすると伝え易いということはないしおまけにそれは月明である
事実4: 「あのアンジオテンシン変換酵素は伝え易いが自閉しない」ということは誤っている
事実5: あのアンジオテンシン変換酵素は心置き無い不効用であるとすればそれは自閉しない
事実6: もし仮にあのアンジオテンシン変換酵素が出来難くないかあるいは産業技術でないか両方であるとすると心置き無い
事実7: 仮にあのアンジオテンシン変換酵素が出来難くないなら心置き無い
事実8: あのアンジオテンシン変換酵素は出来難くないかあるいは産業技術でない

仮説: 「「伝え易くないけど月明な」ものはある」ということは成り立たない
1. 事実6と事実8から、推論1: "「あのアンジオテンシン変換酵素は心置き無い」ということは成り立つ"が導かれる
2. 推論1と事実1から、推論2: "あのアンジオテンシン変換酵素は心置き無くて不効用である"が導かれる
3. 推論2と事実5から、推論3: "あのアンジオテンシン変換酵素は自閉しない"が導かれる
4. 推論3と事実3から、推論4: "あのアンジオテンシン変換酵素は伝え易くないが月明だ"が導かれる
5. 推論4から、仮説が否定される

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