なにかは窺わないかまたは意味するかもしくは両方ともである
fact1: もしとあるものはフィンガー・パームするしおまけに俊英ならばそれは引き出し易くない fact2: もし仮に「そのグリセミックインデックスはフィンガー・パームするが来し易くない」ということは成り立つということはないならばこの一青年は似付かわしいということはない fact3: あるものは窺うかまたはそれは意味するかどちらもだ fact4: この文法的影響はフィンガー・パームしない fact5: もし仮にそのグリセミックインデックスはフィンガー・パームしないとしたら「この一青年は似付かわしくらない」ということは真実である fact6: 「「俊英だ」ということは成り立たない」ものはある fact7: 似付かわしいということはないものは窺わない fact8: この一青年は窺うか意味するか両方ともである fact9: そのグリセミックインデックスはフィンガー・パームする fact10: 「「俊英である」ということは事実な」ものはある fact11: もし「俊英でない」物はあるとしたら「「そのグリセミックインデックスはフィンガー・パームするが来し易くない」ということは本当だ」ということは嘘だ
fact6 & fact11 -> int1: 「そのグリセミックインデックスはフィンガー・パームするが来し易くない」ということは真実でない; int1 & fact2 -> int2: この一青年は似付かわしくらない; fact7 -> int3: もしこの一青年が似付かわしくらないとすると窺わない; int2 & int3 -> int4: この一青年は窺わない; int4 -> int5: この一青年は窺うということはないかもしくは意味するか両方である; int5 -> hypothesis;
引き出し易くない物はある
fact13 -> int6: もしもそのグリセミックインデックスがフィンガー・パームするしかつ俊英であるとすると「それは引き出し易くない」ということは事実である;
$facts$ = fact1: もしとあるものはフィンガー・パームするしおまけに俊英ならばそれは引き出し易くない fact2: もし仮に「そのグリセミックインデックスはフィンガー・パームするが来し易くない」ということは成り立つということはないならばこの一青年は似付かわしいということはない fact3: あるものは窺うかまたはそれは意味するかどちらもだ fact4: この文法的影響はフィンガー・パームしない fact5: もし仮にそのグリセミックインデックスはフィンガー・パームしないとしたら「この一青年は似付かわしくらない」ということは真実である fact6: 「「俊英だ」ということは成り立たない」ものはある fact7: 似付かわしいということはないものは窺わない fact8: この一青年は窺うか意味するか両方ともである fact9: そのグリセミックインデックスはフィンガー・パームする fact10: 「「俊英である」ということは事実な」ものはある fact11: もし「俊英でない」物はあるとしたら「「そのグリセミックインデックスはフィンガー・パームするが来し易くない」ということは本当だ」ということは嘘だ ; $hypothesis$ = なにかは窺わないかまたは意味するかもしくは両方ともである ; $proof$ = 
fact6 & fact11 -> int1: 「そのグリセミックインデックスはフィンガー・パームするが来し易くない」ということは真実でない; int1 & fact2 -> int2: この一青年は似付かわしくらない; fact7 -> int3: もしこの一青年が似付かわしくらないとすると窺わない; int2 & int3 -> int4: この一青年は窺わない; int4 -> int5: この一青年は窺うということはないかもしくは意味するか両方である; int5 -> hypothesis; __PROVED__
事実1: もしとあるものはフィンガー・パームするしおまけに俊英ならばそれは引き出し易くない
事実2: もし仮に「そのグリセミックインデックスはフィンガー・パームするが来し易くない」ということは成り立つということはないならばこの一青年は似付かわしいということはない
事実3: あるものは窺うかまたはそれは意味するかどちらもだ
事実4: この文法的影響はフィンガー・パームしない
事実5: もし仮にそのグリセミックインデックスはフィンガー・パームしないとしたら「この一青年は似付かわしくらない」ということは真実である
事実6: 「「俊英だ」ということは成り立たない」ものはある
事実7: 似付かわしいということはないものは窺わない
事実8: この一青年は窺うか意味するか両方ともである
事実9: そのグリセミックインデックスはフィンガー・パームする
事実10: 「「俊英である」ということは事実な」ものはある
事実11: もし「俊英でない」物はあるとしたら「「そのグリセミックインデックスはフィンガー・パームするが来し易くない」ということは本当だ」ということは嘘だ

仮説: なにかは窺わないかまたは意味するかもしくは両方ともである
1. 事実6と事実11から、推論1: "「そのグリセミックインデックスはフィンガー・パームするが来し易くない」ということは真実でない"が導かれる
2. 推論1と事実2から、推論2: "この一青年は似付かわしくらない"が導かれる
3. 事実7から、推論3: "もしこの一青年が似付かわしくらないとすると窺わない"が導かれる
4. 推論2と推論3から、推論4: "この一青年は窺わない"が導かれる
5. 推論4から、推論5: "この一青年は窺うということはないかもしくは意味するか両方である"が導かれる
6. 推論5から、仮説が導かれる

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