「この引く手は心理試験だがしかしそれは心深しということはない」ということは成り立つということはない
fact1: この引く手は石切り場である fact2: 「その社会的要請は守り易い一方で春らしくない」ということは偽である fact3: もし仮にあるものが春らしい一方でそれはＤＬＺＲでないならば「それは心深くない」ということは事実である fact4: この引く手は春らしい fact5: なんらかのものはキータイプするとすれば「それは心理試験だ」ということは正しい fact6: この引く手はキータイプする fact7: もしある物はＤＬＺＲであるとすれば「それは心理試験だけど心深くない」ということは成り立たない fact8: もしもこの引く手が春らしいとすればＤＬＺＲである
fact7 -> int1: 仮にこの引く手はＤＬＺＲであるとすれば「心理試験だが心深しということはない」ということは成り立たない; fact4 & fact8 -> int2: この引く手はＤＬＺＲだ; int1 & int2 -> hypothesis;
この引く手は心理試験であるけれど心深くない
fact10 -> int3: もしもこの引く手がキータイプするとしたら心理試験である; int3 & fact9 -> int4: この引く手は心理試験である; fact11 -> int5: もしこの割りは春らしいけれどＤＬＺＲでないとしたら心深くない;
$facts$ = fact1: この引く手は石切り場である fact2: 「その社会的要請は守り易い一方で春らしくない」ということは偽である fact3: もし仮にあるものが春らしい一方でそれはＤＬＺＲでないならば「それは心深くない」ということは事実である fact4: この引く手は春らしい fact5: なんらかのものはキータイプするとすれば「それは心理試験だ」ということは正しい fact6: この引く手はキータイプする fact7: もしある物はＤＬＺＲであるとすれば「それは心理試験だけど心深くない」ということは成り立たない fact8: もしもこの引く手が春らしいとすればＤＬＺＲである ; $hypothesis$ = 「この引く手は心理試験だがしかしそれは心深しということはない」ということは成り立つということはない ; $proof$ = 
fact7 -> int1: 仮にこの引く手はＤＬＺＲであるとすれば「心理試験だが心深しということはない」ということは成り立たない; fact4 & fact8 -> int2: この引く手はＤＬＺＲだ; int1 & int2 -> hypothesis; __PROVED__
事実1: この引く手は石切り場である
事実2: 「その社会的要請は守り易い一方で春らしくない」ということは偽である
事実3: もし仮にあるものが春らしい一方でそれはＤＬＺＲでないならば「それは心深くない」ということは事実である
事実4: この引く手は春らしい
事実5: なんらかのものはキータイプするとすれば「それは心理試験だ」ということは正しい
事実6: この引く手はキータイプする
事実7: もしある物はＤＬＺＲであるとすれば「それは心理試験だけど心深くない」ということは成り立たない
事実8: もしもこの引く手が春らしいとすればＤＬＺＲである

仮説: 「この引く手は心理試験だがしかしそれは心深しということはない」ということは成り立つということはない
1. 事実7から、推論1: "仮にこの引く手はＤＬＺＲであるとすれば「心理試験だが心深しということはない」ということは成り立たない"が導かれる
2. 事実4と事実8から、推論2: "この引く手はＤＬＺＲだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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