この転進は誘く
fact1: 仮にそのビタミンＤが御披露目するということはないけどそれは内側毛帯であるならば「あの臨床報告は御披露目する」ということは誤りでない fact2: もしこの転進がＣＳＩ調査であるとするとその操演はＣＳＩ調査でない fact3: もし仮に「なにかは緊張し切らない」ということは真実だとすると「内野でないけれど取り難い」ということは誤りである fact4: もし仮に何かは拡大縮小するとすると提起するけど指定事業者でない fact5: 何かは御披露目するとするとそれは悩ます fact6: もし仮にあのスキームは提起するけど指定事業者だということはないならば「この転進は誘かない」ということは真実である fact7: そのビタミンＤは御披露目するということはない fact8: もしも「なにがしかの物は内野であるということはないけれど取り難い」ということは誤りであるなら誘かない fact9: あのスキームは拡大縮小するしまたＣＳＩ調査だ fact10: なんらかの物が悩ますとするとそれはグローバリゼーションだけれど仮基準日でない fact11: もし仮にあの臨床報告が誘かないとすればこの転進はＣＳＩ調査だが拡大縮小しない fact12: もし仮にあの臨床報告はグローバリゼーションであるが仮基準日であるということはないとしたら緊張し切らない
fact4 -> int1: もしあのスキームは拡大縮小するとすると「それは提起するしかつ指定事業者でない」ということは成り立つ; fact9 -> int2: あのスキームは拡大縮小する; int1 & int2 -> int3: あのスキームは提起するけどそれは指定事業者であるということはない; int3 & fact6 -> hypothesis;
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact9 -> int2: {A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 & fact6 -> hypothesis;
その操演はＣＳＩ調査だということはない
fact13 -> int4: 「あの臨床報告は内野でないけど取り難い」ということは事実と異なるなら誘かない; fact20 -> int5: もし仮に「あの臨床報告は緊張し切らない」ということは本当だとすると「内野であるということはないしおまけにそれは取り難い」ということは成り立たない; fact21 -> int6: もしあの臨床報告が悩ませばグローバリゼーションで仮基準日でない; fact16 -> int7: 仮にあの臨床報告が御披露目するなら悩ます;
$facts$ = fact1: 仮にそのビタミンＤが御披露目するということはないけどそれは内側毛帯であるならば「あの臨床報告は御披露目する」ということは誤りでない fact2: もしこの転進がＣＳＩ調査であるとするとその操演はＣＳＩ調査でない fact3: もし仮に「なにかは緊張し切らない」ということは真実だとすると「内野でないけれど取り難い」ということは誤りである fact4: もし仮に何かは拡大縮小するとすると提起するけど指定事業者でない fact5: 何かは御披露目するとするとそれは悩ます fact6: もし仮にあのスキームは提起するけど指定事業者だということはないならば「この転進は誘かない」ということは真実である fact7: そのビタミンＤは御披露目するということはない fact8: もしも「なにがしかの物は内野であるということはないけれど取り難い」ということは誤りであるなら誘かない fact9: あのスキームは拡大縮小するしまたＣＳＩ調査だ fact10: なんらかの物が悩ますとするとそれはグローバリゼーションだけれど仮基準日でない fact11: もし仮にあの臨床報告が誘かないとすればこの転進はＣＳＩ調査だが拡大縮小しない fact12: もし仮にあの臨床報告はグローバリゼーションであるが仮基準日であるということはないとしたら緊張し切らない ; $hypothesis$ = この転進は誘く ; $proof$ = 
fact4 -> int1: もしあのスキームは拡大縮小するとすると「それは提起するしかつ指定事業者でない」ということは成り立つ; fact9 -> int2: あのスキームは拡大縮小する; int1 & int2 -> int3: あのスキームは提起するけどそれは指定事業者であるということはない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にそのビタミンＤが御披露目するということはないけどそれは内側毛帯であるならば「あの臨床報告は御披露目する」ということは誤りでない
事実2: もしこの転進がＣＳＩ調査であるとするとその操演はＣＳＩ調査でない
事実3: もし仮に「なにかは緊張し切らない」ということは真実だとすると「内野でないけれど取り難い」ということは誤りである
事実4: もし仮に何かは拡大縮小するとすると提起するけど指定事業者でない
事実5: 何かは御披露目するとするとそれは悩ます
事実6: もし仮にあのスキームは提起するけど指定事業者だということはないならば「この転進は誘かない」ということは真実である
事実7: そのビタミンＤは御披露目するということはない
事実8: もしも「なにがしかの物は内野であるということはないけれど取り難い」ということは誤りであるなら誘かない
事実9: あのスキームは拡大縮小するしまたＣＳＩ調査だ
事実10: なんらかの物が悩ますとするとそれはグローバリゼーションだけれど仮基準日でない
事実11: もし仮にあの臨床報告が誘かないとすればこの転進はＣＳＩ調査だが拡大縮小しない
事実12: もし仮にあの臨床報告はグローバリゼーションであるが仮基準日であるということはないとしたら緊張し切らない

仮説: この転進は誘く
1. 事実4から、推論1: "もしあのスキームは拡大縮小するとすると「それは提起するしかつ指定事業者でない」ということは成り立つ"が導かれる
2. 事実9から、推論2: "あのスキームは拡大縮小する"が導かれる
3. 推論1と推論2から、推論3: "あのスキームは提起するけどそれは指定事業者であるということはない"が導かれる
4. 推論3と事実6から、仮説が否定される

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