この御鳥見役は揺さぶらないしかつそれはこそばゆくない
fact1: 「その身構えは振り見るがしかし貫き通さない」ということは間違っている fact2: もし仮に「「このＶＩＥは補導しない」ということは成り立たない」ということは真実だとするとこの御鳥見役は取り掛かり易い fact3: 仮に「その身構えは補導する」ということは本当であるとすると「この御鳥見役は揺さぶらないしこそばゆいということはない」ということは成り立たない fact4: 仮に「その身構えは振り見るがしかし貫き通さない」ということは成り立たないとすれば補導する
fact4 & fact1 -> int1: その身構えは補導する; int1 & fact3 -> hypothesis;
「その身構えは揺さぶらないし加えてそれは取り掛かり易くない」ということは間違いである
$facts$ = fact1: 「その身構えは振り見るがしかし貫き通さない」ということは間違っている fact2: もし仮に「「このＶＩＥは補導しない」ということは成り立たない」ということは真実だとするとこの御鳥見役は取り掛かり易い fact3: 仮に「その身構えは補導する」ということは本当であるとすると「この御鳥見役は揺さぶらないしこそばゆいということはない」ということは成り立たない fact4: 仮に「その身構えは振り見るがしかし貫き通さない」ということは成り立たないとすれば補導する ; $hypothesis$ = この御鳥見役は揺さぶらないしかつそれはこそばゆくない ; $proof$ = 
fact4 & fact1 -> int1: その身構えは補導する; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 「その身構えは振り見るがしかし貫き通さない」ということは間違っている
事実2: もし仮に「「このＶＩＥは補導しない」ということは成り立たない」ということは真実だとするとこの御鳥見役は取り掛かり易い
事実3: 仮に「その身構えは補導する」ということは本当であるとすると「この御鳥見役は揺さぶらないしこそばゆいということはない」ということは成り立たない
事実4: 仮に「その身構えは振り見るがしかし貫き通さない」ということは成り立たないとすれば補導する

仮説: この御鳥見役は揺さぶらないしかつそれはこそばゆくない
1. 事実4と事実1から、推論1: "その身構えは補導する"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。