そのグリセミックインデックスは取り結ぶ
fact1: そのグリセミックインデックスは片膝でない fact2: もし何かはぐらぐらしない一方で外貨預金であるならば取り結ぶ fact3: もしそのグリセミックインデックスは片膝でないとしたらぐらぐらしないけど外貨預金である
fact3 & fact1 -> int1: そのグリセミックインデックスはぐらぐらしないけれど外貨預金である; fact2 -> int2: そのグリセミックインデックスがぐらぐらしないがしかしそれが外貨預金ならば取り結ぶ; int1 & int2 -> hypothesis;
fact3 & fact1 -> int1: (¬{AA}{a} & {AB}{a}); fact2 -> int2: (¬{AA}{a} & {AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: そのグリセミックインデックスは片膝でない fact2: もし何かはぐらぐらしない一方で外貨預金であるならば取り結ぶ fact3: もしそのグリセミックインデックスは片膝でないとしたらぐらぐらしないけど外貨預金である ; $hypothesis$ = そのグリセミックインデックスは取り結ぶ ; $proof$ = 
fact3 & fact1 -> int1: そのグリセミックインデックスはぐらぐらしないけれど外貨預金である; fact2 -> int2: そのグリセミックインデックスがぐらぐらしないがしかしそれが外貨預金ならば取り結ぶ; int1 & int2 -> hypothesis; __PROVED__
事実1: そのグリセミックインデックスは片膝でない
事実2: もし何かはぐらぐらしない一方で外貨預金であるならば取り結ぶ
事実3: もしそのグリセミックインデックスは片膝でないとしたらぐらぐらしないけど外貨預金である

仮説: そのグリセミックインデックスは取り結ぶ
1. 事実3と事実1から、推論1: "そのグリセミックインデックスはぐらぐらしないけれど外貨預金である"が導かれる
2. 事実2から、推論2: "そのグリセミックインデックスがぐらぐらしないがしかしそれが外貨預金ならば取り結ぶ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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