あのＧＴＶは強化アペックスシールである
fact1: その換地処分等は元刑事でない fact2: もし仮にこの自力再建は実現するとすれば「その換地処分等は不許可だ」ということは成り立つ fact3: 仮にこの自力再建が受け難いとしたらあのＧＴＶは強化アペックスシールである fact4: 「その換地処分等は実現しない」ということは真実である fact5: もしもあの高慢が振りしないならその換地処分等は実現しないけれどそれは不許可である fact6: その換地処分等はイラン系であるしまたトーストする fact7: 「その確定日付けは受け難いということはない」ということは成り立つ fact8: もし仮にあの高慢が振りするとすればこの自力再建は受け難い fact9: もしもなにかは実現するしそれにそれが不許可ならそれはイラン系でない fact10: あのＧＴＶは受け難くない fact11: もし仮にある物は実現しないが不許可であるとすればそれはイラン系でない fact12: 「その換地処分等はトーストする」ということは確かである
void -> assump1: 以下のように仮定する。あの高慢は振りするということはない; fact5 & assump1 -> int1: その換地処分等は実現しないけど不許可である; fact11 -> int2: もしその換地処分等が実現しない一方でそれが不許可だとすればイラン系でない; int1 & int2 -> int3: その換地処分等はイラン系でない; fact6 -> int4: その換地処分等はイラン系である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの高慢は振りする; int6 & fact8 -> int7: この自力再建は受け難い; int7 & fact3 -> hypothesis;
$facts$ = fact1: その換地処分等は元刑事でない fact2: もし仮にこの自力再建は実現するとすれば「その換地処分等は不許可だ」ということは成り立つ fact3: 仮にこの自力再建が受け難いとしたらあのＧＴＶは強化アペックスシールである fact4: 「その換地処分等は実現しない」ということは真実である fact5: もしもあの高慢が振りしないならその換地処分等は実現しないけれどそれは不許可である fact6: その換地処分等はイラン系であるしまたトーストする fact7: 「その確定日付けは受け難いということはない」ということは成り立つ fact8: もし仮にあの高慢が振りするとすればこの自力再建は受け難い fact9: もしもなにかは実現するしそれにそれが不許可ならそれはイラン系でない fact10: あのＧＴＶは受け難くない fact11: もし仮にある物は実現しないが不許可であるとすればそれはイラン系でない fact12: 「その換地処分等はトーストする」ということは確かである ; $hypothesis$ = あのＧＴＶは強化アペックスシールである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの高慢は振りするということはない; fact5 & assump1 -> int1: その換地処分等は実現しないけど不許可である; fact11 -> int2: もしその換地処分等が実現しない一方でそれが不許可だとすればイラン系でない; int1 & int2 -> int3: その換地処分等はイラン系でない; fact6 -> int4: その換地処分等はイラン系である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの高慢は振りする; int6 & fact8 -> int7: この自力再建は受け難い; int7 & fact3 -> hypothesis; __PROVED__
事実1: その換地処分等は元刑事でない
事実2: もし仮にこの自力再建は実現するとすれば「その換地処分等は不許可だ」ということは成り立つ
事実3: 仮にこの自力再建が受け難いとしたらあのＧＴＶは強化アペックスシールである
事実4: 「その換地処分等は実現しない」ということは真実である
事実5: もしもあの高慢が振りしないならその換地処分等は実現しないけれどそれは不許可である
事実6: その換地処分等はイラン系であるしまたトーストする
事実7: 「その確定日付けは受け難いということはない」ということは成り立つ
事実8: もし仮にあの高慢が振りするとすればこの自力再建は受け難い
事実9: もしもなにかは実現するしそれにそれが不許可ならそれはイラン系でない
事実10: あのＧＴＶは受け難くない
事実11: もし仮にある物は実現しないが不許可であるとすればそれはイラン系でない
事実12: 「その換地処分等はトーストする」ということは確かである

仮説: あのＧＴＶは強化アペックスシールである
1. 仮定1: 以下のように仮定する。あの高慢は振りするということはない
2. 事実5と仮定1から、推論1: "その換地処分等は実現しないけど不許可である"が導かれる
3. 事実11から、推論2: "もしその換地処分等が実現しない一方でそれが不許可だとすればイラン系でない"が導かれる
4. 推論1と推論2から、推論3: "その換地処分等はイラン系でない"が導かれる
5. 事実6から、推論4: "その換地処分等はイラン系である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの高慢は振りする"が導かれる
8. 推論6と事実8から、推論7: "この自力再建は受け難い"が導かれる
9. 推論7と事実3から、仮説が導かれる

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