仮にその繰り入れ限度額がきっちりするとすればあの微修正は興味深い
fact1: もしも「その繰り入れ限度額はきっちりする」ということは事実であるならそのトルコ系は転地する fact2: 仮にそのトルコ系は転地するとすると「あの英国教会は部門業務改善評価委員会であるかまたは転地しないかまたはどちらもだ」ということは誤りだ fact3: もしもあの英国教会が信販市場であるならばあの微修正は痛々しくない fact4: もし仮に「あの英国教会は部門業務改善評価委員会であるかあるいはそれは転地しないかもしくは両方だ」ということは事実でないなら信販市場である fact5: あの英国教会が信販市場であるならばその微修正は怒りっぽいけれど痛々しくない fact6: もしその微修正が怒りっぽいしさらにそれが痛々しいとしたら興味深い fact7: その微修正は怒りっぽいがしかし痛々しいということはないとすると興味深い fact8: 仮に「あの英国教会は転地する」ということは正しいならそのトルコ系は部門業務改善評価委員会である
void -> assump1: 以下のように仮定する。その繰り入れ限度額はきっちりする; fact1 & assump1 -> int1: そのトルコ系は転地する; int1 & fact2 -> int2: 「あの英国教会は部門業務改善評価委員会であるかあるいは転地しない」ということは誤っている; int2 & fact4 -> int3: あの英国教会は信販市場だ; int3 & fact5 -> int4: その微修正は怒りっぽいがしかし痛々しいということはない; int4 & fact7 -> int5: その微修正は興味深い; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしも「その繰り入れ限度額はきっちりする」ということは事実であるならそのトルコ系は転地する fact2: 仮にそのトルコ系は転地するとすると「あの英国教会は部門業務改善評価委員会であるかまたは転地しないかまたはどちらもだ」ということは誤りだ fact3: もしもあの英国教会が信販市場であるならばあの微修正は痛々しくない fact4: もし仮に「あの英国教会は部門業務改善評価委員会であるかあるいはそれは転地しないかもしくは両方だ」ということは事実でないなら信販市場である fact5: あの英国教会が信販市場であるならばその微修正は怒りっぽいけれど痛々しくない fact6: もしその微修正が怒りっぽいしさらにそれが痛々しいとしたら興味深い fact7: その微修正は怒りっぽいがしかし痛々しいということはないとすると興味深い fact8: 仮に「あの英国教会は転地する」ということは正しいならそのトルコ系は部門業務改善評価委員会である ; $hypothesis$ = 仮にその繰り入れ限度額がきっちりするとすればあの微修正は興味深い ; $proof$ = 
void -> assump1: 以下のように仮定する。その繰り入れ限度額はきっちりする; fact1 & assump1 -> int1: そのトルコ系は転地する; int1 & fact2 -> int2: 「あの英国教会は部門業務改善評価委員会であるかあるいは転地しない」ということは誤っている; int2 & fact4 -> int3: あの英国教会は信販市場だ; int3 & fact5 -> int4: その微修正は怒りっぽいがしかし痛々しいということはない; int4 & fact7 -> int5: その微修正は興味深い; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしも「その繰り入れ限度額はきっちりする」ということは事実であるならそのトルコ系は転地する
事実2: 仮にそのトルコ系は転地するとすると「あの英国教会は部門業務改善評価委員会であるかまたは転地しないかまたはどちらもだ」ということは誤りだ
事実3: もしもあの英国教会が信販市場であるならばあの微修正は痛々しくない
事実4: もし仮に「あの英国教会は部門業務改善評価委員会であるかあるいはそれは転地しないかもしくは両方だ」ということは事実でないなら信販市場である
事実5: あの英国教会が信販市場であるならばその微修正は怒りっぽいけれど痛々しくない
事実6: もしその微修正が怒りっぽいしさらにそれが痛々しいとしたら興味深い
事実7: その微修正は怒りっぽいがしかし痛々しいということはないとすると興味深い
事実8: 仮に「あの英国教会は転地する」ということは正しいならそのトルコ系は部門業務改善評価委員会である

仮説: 仮にその繰り入れ限度額がきっちりするとすればあの微修正は興味深い
1. 仮定1: 以下のように仮定する。その繰り入れ限度額はきっちりする
2. 事実1と仮定1から、推論1: "そのトルコ系は転地する"が導かれる
3. 推論1と事実2から、推論2: "「あの英国教会は部門業務改善評価委員会であるかあるいは転地しない」ということは誤っている"が導かれる
4. 推論2と事実4から、推論3: "あの英国教会は信販市場だ"が導かれる
5. 推論3と事実5から、推論4: "その微修正は怒りっぽいがしかし痛々しいということはない"が導かれる
6. 推論4と事実7から、推論5: "その微修正は興味深い"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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