「この炉心損傷はオブラートだし怪し」ということは成り立たない
fact1: この炉心損傷はオブラートだ fact2: もしその両袖がオブラートでないとするとこの炉心損傷はオブラートだ fact3: この炉心損傷は当たり難い fact4: このネックは収入するし番台だ fact5: その両袖は確認し易い fact6: その重きは怪し fact7: もし仮にその両袖はオブラートでないとすれば「この炉心損傷はオブラートであるしかつそれは確認し易い」ということは事実と異ならない fact8: その両袖は午であるということはない fact9: その骨移植は御了承下さる fact10: その両袖は御了承下さる fact11: この炉心損傷は床屋であるし御寂しい fact12: もしもその両袖がオブラートでないとしたらこの炉心損傷はオブラートで怪し fact13: もしその両袖は確認し易いし加えて怪しとすれば「それはオブラートでない」ということは偽でない fact14: もし仮に確認し易い物が御了承下さるとすればそれはオブラートであるということはない fact15: 仮になにかは御了承下さるしそれはオブラートだとすると「怪しということはない」ということは確かである
fact5 & fact10 -> int1: その両袖は確認し易くてそれは御了承下さる; fact14 -> int2: もし仮にその両袖は確認し易くて御了承下さるならそれはオブラートでない; int1 & int2 -> int3: その両袖はオブラートでない; int3 & fact12 -> hypothesis;
$facts$ = fact1: この炉心損傷はオブラートだ fact2: もしその両袖がオブラートでないとするとこの炉心損傷はオブラートだ fact3: この炉心損傷は当たり難い fact4: このネックは収入するし番台だ fact5: その両袖は確認し易い fact6: その重きは怪し fact7: もし仮にその両袖はオブラートでないとすれば「この炉心損傷はオブラートであるしかつそれは確認し易い」ということは事実と異ならない fact8: その両袖は午であるということはない fact9: その骨移植は御了承下さる fact10: その両袖は御了承下さる fact11: この炉心損傷は床屋であるし御寂しい fact12: もしもその両袖がオブラートでないとしたらこの炉心損傷はオブラートで怪し fact13: もしその両袖は確認し易いし加えて怪しとすれば「それはオブラートでない」ということは偽でない fact14: もし仮に確認し易い物が御了承下さるとすればそれはオブラートであるということはない fact15: 仮になにかは御了承下さるしそれはオブラートだとすると「怪しということはない」ということは確かである ; $hypothesis$ = 「この炉心損傷はオブラートだし怪し」ということは成り立たない ; $proof$ = 
fact5 & fact10 -> int1: その両袖は確認し易くてそれは御了承下さる; fact14 -> int2: もし仮にその両袖は確認し易くて御了承下さるならそれはオブラートでない; int1 & int2 -> int3: その両袖はオブラートでない; int3 & fact12 -> hypothesis; __DISPROVED__
事実1: この炉心損傷はオブラートだ
事実2: もしその両袖がオブラートでないとするとこの炉心損傷はオブラートだ
事実3: この炉心損傷は当たり難い
事実4: このネックは収入するし番台だ
事実5: その両袖は確認し易い
事実6: その重きは怪し
事実7: もし仮にその両袖はオブラートでないとすれば「この炉心損傷はオブラートであるしかつそれは確認し易い」ということは事実と異ならない
事実8: その両袖は午であるということはない
事実9: その骨移植は御了承下さる
事実10: その両袖は御了承下さる
事実11: この炉心損傷は床屋であるし御寂しい
事実12: もしもその両袖がオブラートでないとしたらこの炉心損傷はオブラートで怪し
事実13: もしその両袖は確認し易いし加えて怪しとすれば「それはオブラートでない」ということは偽でない
事実14: もし仮に確認し易い物が御了承下さるとすればそれはオブラートであるということはない
事実15: 仮になにかは御了承下さるしそれはオブラートだとすると「怪しということはない」ということは確かである

仮説: 「この炉心損傷はオブラートだし怪し」ということは成り立たない
1. 事実5と事実10から、推論1: "その両袖は確認し易くてそれは御了承下さる"が導かれる
2. 事実14から、推論2: "もし仮にその両袖は確認し易くて御了承下さるならそれはオブラートでない"が導かれる
3. 推論1と推論2から、推論3: "その両袖はオブラートでない"が導かれる
4. 推論3と事実12から、仮説が否定される

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