この要所要所は哀れむ一方で睨めっこでない
fact1: もしもあの右反回神経が著しいとすればあの換地は睨めっこである fact2: あの換地が睨めっこであるとすればあの要所要所は哀れむけれどそれは睨めっこでない fact3: あの右反回神経は著しい
fact1 & fact3 -> int1: 「あの換地は睨めっこだ」ということは成り立つ; int1 & fact2 -> hypothesis;
$facts$ = fact1: もしもあの右反回神経が著しいとすればあの換地は睨めっこである fact2: あの換地が睨めっこであるとすればあの要所要所は哀れむけれどそれは睨めっこでない fact3: あの右反回神経は著しい ; $hypothesis$ = この要所要所は哀れむ一方で睨めっこでない ; $proof$ = 
fact1 & fact3 -> int1: 「あの換地は睨めっこだ」ということは成り立つ; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしもあの右反回神経が著しいとすればあの換地は睨めっこである
事実2: あの換地が睨めっこであるとすればあの要所要所は哀れむけれどそれは睨めっこでない
事実3: あの右反回神経は著しい

仮説: この要所要所は哀れむ一方で睨めっこでない
1. 事実1と事実3から、推論1: "「あの換地は睨めっこだ」ということは成り立つ"が導かれる
2. 推論1と事実2から、仮説が導かれる

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