その五月頃は腱鞘だということはない
fact1: もしもなにかは押し出すなら「それは腱鞘でない」ということは誤りだ fact2: その五月頃は押し出すしさらに仮設する fact3: もし「何かは押し出さないが仮設する」ということは成り立つならその五月頃は腱鞘であるということはない fact4: 確認し難い物はギブスである fact5: 公的年金等は押し出さないけれど仮設する fact6: もし何かは界隈でないならば列挙出来るかまたは原審であるか両方だ
fact2 -> int1: その五月頃は押し出す; fact1 -> int2: もし仮にその五月頃が押し出すとするとそれは腱鞘である; int1 & int2 -> hypothesis;
fact2 -> int1: {A}{a}; fact1 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> hypothesis;
その五月頃は腱鞘でない
fact7 -> int3: もし仮にその七十六参照が公的年金等ならばそれは押し出すということはないがしかし仮設する; fact8 -> int4: 仮にこのＨＣＶ‐ＲＮＡは界隈でないとするとそれは列挙出来るか原審であるかもしくは両方ともだ;
$facts$ = fact1: もしもなにかは押し出すなら「それは腱鞘でない」ということは誤りだ fact2: その五月頃は押し出すしさらに仮設する fact3: もし「何かは押し出さないが仮設する」ということは成り立つならその五月頃は腱鞘であるということはない fact4: 確認し難い物はギブスである fact5: 公的年金等は押し出さないけれど仮設する fact6: もし何かは界隈でないならば列挙出来るかまたは原審であるか両方だ ; $hypothesis$ = その五月頃は腱鞘だということはない ; $proof$ = 
fact2 -> int1: その五月頃は押し出す; fact1 -> int2: もし仮にその五月頃が押し出すとするとそれは腱鞘である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもなにかは押し出すなら「それは腱鞘でない」ということは誤りだ
事実2: その五月頃は押し出すしさらに仮設する
事実3: もし「何かは押し出さないが仮設する」ということは成り立つならその五月頃は腱鞘であるということはない
事実4: 確認し難い物はギブスである
事実5: 公的年金等は押し出さないけれど仮設する
事実6: もし何かは界隈でないならば列挙出来るかまたは原審であるか両方だ

仮説: その五月頃は腱鞘だということはない
1. 事実2から、推論1: "その五月頃は押し出す"が導かれる
2. 事実1から、推論2: "もし仮にその五月頃が押し出すとするとそれは腱鞘である"が導かれる
3. 推論1と推論2から、仮説が否定される

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