この混合財は侵入出来ない
fact1: あの三十四Ａは領得する fact2: もし仮にあの爺っが退縮するとすればこの混合財は領得しない fact3: この混合財は退縮するか侵入出来る fact4: もし仮にあの三十四Ａが領得するか漏れ無いとしたらこの混合財は底堅くない fact5: 仮にこの混合財が漏れ無いかまたはそれが領得するかあるいはどちらもであるならばあの三十四Ａは侵入出来ない fact6: もしこの混合財は領得しないとしたら「それは侵入出来る」ということは確かだ fact7: なにがしかのものは底堅い fact8: この混合財は漏れ無い fact9: 仮に「あの三十四Ａは漏れ無い」ということは間違いでないとするとあの爺っは底堅い fact10: もしもあの爺っが底堅いかもしくは退縮すれば「この混合財は領得しない」ということは真実だ fact11: あの爺っは領得するということはない fact12: もしも「あの爺っは領得する」ということは成り立つとすればこの混合財は底堅くない fact13: あの三十四Ａは漏れ無い
fact9 & fact13 -> int1: あの爺っは底堅い; int1 -> int2: あの爺っは底堅いかまたは退縮するかあるいは両方である; int2 & fact10 -> int3: この混合財は領得しない; int3 & fact6 -> hypothesis;
この混合財は侵入出来ない
$facts$ = fact1: あの三十四Ａは領得する fact2: もし仮にあの爺っが退縮するとすればこの混合財は領得しない fact3: この混合財は退縮するか侵入出来る fact4: もし仮にあの三十四Ａが領得するか漏れ無いとしたらこの混合財は底堅くない fact5: 仮にこの混合財が漏れ無いかまたはそれが領得するかあるいはどちらもであるならばあの三十四Ａは侵入出来ない fact6: もしこの混合財は領得しないとしたら「それは侵入出来る」ということは確かだ fact7: なにがしかのものは底堅い fact8: この混合財は漏れ無い fact9: 仮に「あの三十四Ａは漏れ無い」ということは間違いでないとするとあの爺っは底堅い fact10: もしもあの爺っが底堅いかもしくは退縮すれば「この混合財は領得しない」ということは真実だ fact11: あの爺っは領得するということはない fact12: もしも「あの爺っは領得する」ということは成り立つとすればこの混合財は底堅くない fact13: あの三十四Ａは漏れ無い ; $hypothesis$ = この混合財は侵入出来ない ; $proof$ = 
fact9 & fact13 -> int1: あの爺っは底堅い; int1 -> int2: あの爺っは底堅いかまたは退縮するかあるいは両方である; int2 & fact10 -> int3: この混合財は領得しない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: あの三十四Ａは領得する
事実2: もし仮にあの爺っが退縮するとすればこの混合財は領得しない
事実3: この混合財は退縮するか侵入出来る
事実4: もし仮にあの三十四Ａが領得するか漏れ無いとしたらこの混合財は底堅くない
事実5: 仮にこの混合財が漏れ無いかまたはそれが領得するかあるいはどちらもであるならばあの三十四Ａは侵入出来ない
事実6: もしこの混合財は領得しないとしたら「それは侵入出来る」ということは確かだ
事実7: なにがしかのものは底堅い
事実8: この混合財は漏れ無い
事実9: 仮に「あの三十四Ａは漏れ無い」ということは間違いでないとするとあの爺っは底堅い
事実10: もしもあの爺っが底堅いかもしくは退縮すれば「この混合財は領得しない」ということは真実だ
事実11: あの爺っは領得するということはない
事実12: もしも「あの爺っは領得する」ということは成り立つとすればこの混合財は底堅くない
事実13: あの三十四Ａは漏れ無い

仮説: この混合財は侵入出来ない
1. 事実9と事実13から、推論1: "あの爺っは底堅い"が導かれる
2. 推論1から、推論2: "あの爺っは底堅いかまたは退縮するかあるいは両方である"が導かれる
3. 推論2と事実10から、推論3: "この混合財は領得しない"が導かれる
4. 推論3と事実6から、仮説が否定される

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