その高度障害保険金は罰金刑でない一方で垂直移動する
fact1: 仮にこの黒枠はＳ＆Ｌでないなら「「ズームインでないか二年基準であるかあるいはどちらもだ」ということは事実だ」ということは成り立つということはない fact2: この黒枠は罰金刑でないなら「その高度障害保険金は罰金刑でないが垂直移動する」ということは間違いだ fact3: 近寄り難くない物は真っ白くて刺繍する fact4: もしも「なにがしかの物は政策当局だけど二年基準でない」ということは誤っているとしたら近寄り難くない fact5: もしも「何かは真っ白いということはない一方で近寄り難い」ということは誤っているとすれば罰金刑でない fact6: その平地林は代用出来ない fact7: 仮にその平地林は集荷であるとすればそれは刺繍しない fact8: そのＩＮＣは真っ白くない fact9: 仮にその高度障害保険金はズームインでないなら「それは政策当局だが二年基準でない」ということは成り立たない fact10: 仮に何らかの物は政策当局でないとしたらそれは刺繍するし更に近寄り難い fact11: もしも「何らかの物は刺繍するということはないが近寄り難い」ということは真実であるということはないとしたら垂直移動しない fact12: その平地林は刺繍する fact13: 仮にその高度障害保険金が真っ白いとすれば罰金刑だということはないけれど垂直移動する fact14: もし仮に「その高度障害保険金は垂直移動するけれど刺繍しない」ということは事実と異なるとしたらそれは近寄り難くない fact15: もしもその平地林は真っ白くないなら「この黒枠は真っ白くないがしかし近寄り難い」ということは誤りだ fact16: 仮に「とある物は切り離し難い一方で集荷でない」ということは偽であるとすると刺繍しない fact17: その平地林が罰金刑でなくておまけに真っ白くないとしたらその高度障害保険金は罰金刑でない fact18: この黒枠はＳ＆Ｌでない fact19: もし「この黒枠は刺繍する一方で真っ白いということはない」ということは正しくないとすると近寄り難くない fact20: 「ＣＥＡでない」ものはある fact21: もしその平地林は真っ白いとしたら「切り離し難いしそれは集荷でない」ということは間違いだ fact22: その高度障害保険金は繁殖し易い
void -> assump1: 以下のように仮定する。その平地林は真っ白い; fact21 & assump1 -> int1: 「その平地林は切り離し難いがしかし集荷でない」ということは成り立たない; fact16 -> int2: もし仮に「その平地林は切り離し難い一方で集荷でない」ということは成り立たないなら刺繍しない; int1 & int2 -> int3: 「その平地林は刺繍するということはない」ということは確かである; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: その平地林は真っ白いということはない; int5 & fact15 -> int6: 「この黒枠は真っ白くないがそれは近寄り難い」ということは嘘である; fact5 -> int7: 「この黒枠は真っ白いということはないけれど近寄り難い」ということは間違っているとすれば罰金刑でない; int6 & int7 -> int8: この黒枠は罰金刑でない; int8 & fact2 -> hypothesis;
その高度障害保険金は罰金刑でないけど垂直移動する
fact26 -> int9: もしもその高度障害保険金が近寄り難くないとすればそれは真っ白いし刺繍する; fact24 -> int10: もしも「その高度障害保険金は政策当局であるけれど二年基準でない」ということは成り立たないとすれば近寄り難くない;
$facts$ = fact1: 仮にこの黒枠はＳ＆Ｌでないなら「「ズームインでないか二年基準であるかあるいはどちらもだ」ということは事実だ」ということは成り立つということはない fact2: この黒枠は罰金刑でないなら「その高度障害保険金は罰金刑でないが垂直移動する」ということは間違いだ fact3: 近寄り難くない物は真っ白くて刺繍する fact4: もしも「なにがしかの物は政策当局だけど二年基準でない」ということは誤っているとしたら近寄り難くない fact5: もしも「何かは真っ白いということはない一方で近寄り難い」ということは誤っているとすれば罰金刑でない fact6: その平地林は代用出来ない fact7: 仮にその平地林は集荷であるとすればそれは刺繍しない fact8: そのＩＮＣは真っ白くない fact9: 仮にその高度障害保険金はズームインでないなら「それは政策当局だが二年基準でない」ということは成り立たない fact10: 仮に何らかの物は政策当局でないとしたらそれは刺繍するし更に近寄り難い fact11: もしも「何らかの物は刺繍するということはないが近寄り難い」ということは真実であるということはないとしたら垂直移動しない fact12: その平地林は刺繍する fact13: 仮にその高度障害保険金が真っ白いとすれば罰金刑だということはないけれど垂直移動する fact14: もし仮に「その高度障害保険金は垂直移動するけれど刺繍しない」ということは事実と異なるとしたらそれは近寄り難くない fact15: もしもその平地林は真っ白くないなら「この黒枠は真っ白くないがしかし近寄り難い」ということは誤りだ fact16: 仮に「とある物は切り離し難い一方で集荷でない」ということは偽であるとすると刺繍しない fact17: その平地林が罰金刑でなくておまけに真っ白くないとしたらその高度障害保険金は罰金刑でない fact18: この黒枠はＳ＆Ｌでない fact19: もし「この黒枠は刺繍する一方で真っ白いということはない」ということは正しくないとすると近寄り難くない fact20: 「ＣＥＡでない」ものはある fact21: もしその平地林は真っ白いとしたら「切り離し難いしそれは集荷でない」ということは間違いだ fact22: その高度障害保険金は繁殖し易い ; $hypothesis$ = その高度障害保険金は罰金刑でない一方で垂直移動する ; $proof$ = 
void -> assump1: 以下のように仮定する。その平地林は真っ白い; fact21 & assump1 -> int1: 「その平地林は切り離し難いがしかし集荷でない」ということは成り立たない; fact16 -> int2: もし仮に「その平地林は切り離し難い一方で集荷でない」ということは成り立たないなら刺繍しない; int1 & int2 -> int3: 「その平地林は刺繍するということはない」ということは確かである; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: その平地林は真っ白いということはない; int5 & fact15 -> int6: 「この黒枠は真っ白くないがそれは近寄り難い」ということは嘘である; fact5 -> int7: 「この黒枠は真っ白いということはないけれど近寄り難い」ということは間違っているとすれば罰金刑でない; int6 & int7 -> int8: この黒枠は罰金刑でない; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にこの黒枠はＳ＆Ｌでないなら「「ズームインでないか二年基準であるかあるいはどちらもだ」ということは事実だ」ということは成り立つということはない
事実2: この黒枠は罰金刑でないなら「その高度障害保険金は罰金刑でないが垂直移動する」ということは間違いだ
事実3: 近寄り難くない物は真っ白くて刺繍する
事実4: もしも「なにがしかの物は政策当局だけど二年基準でない」ということは誤っているとしたら近寄り難くない
事実5: もしも「何かは真っ白いということはない一方で近寄り難い」ということは誤っているとすれば罰金刑でない
事実6: その平地林は代用出来ない
事実7: 仮にその平地林は集荷であるとすればそれは刺繍しない
事実8: そのＩＮＣは真っ白くない
事実9: 仮にその高度障害保険金はズームインでないなら「それは政策当局だが二年基準でない」ということは成り立たない
事実10: 仮に何らかの物は政策当局でないとしたらそれは刺繍するし更に近寄り難い
事実11: もしも「何らかの物は刺繍するということはないが近寄り難い」ということは真実であるということはないとしたら垂直移動しない
事実12: その平地林は刺繍する
事実13: 仮にその高度障害保険金が真っ白いとすれば罰金刑だということはないけれど垂直移動する
事実14: もし仮に「その高度障害保険金は垂直移動するけれど刺繍しない」ということは事実と異なるとしたらそれは近寄り難くない
事実15: もしもその平地林は真っ白くないなら「この黒枠は真っ白くないがしかし近寄り難い」ということは誤りだ
事実16: 仮に「とある物は切り離し難い一方で集荷でない」ということは偽であるとすると刺繍しない
事実17: その平地林が罰金刑でなくておまけに真っ白くないとしたらその高度障害保険金は罰金刑でない
事実18: この黒枠はＳ＆Ｌでない
事実19: もし「この黒枠は刺繍する一方で真っ白いということはない」ということは正しくないとすると近寄り難くない
事実20: 「ＣＥＡでない」ものはある
事実21: もしその平地林は真っ白いとしたら「切り離し難いしそれは集荷でない」ということは間違いだ
事実22: その高度障害保険金は繁殖し易い

仮説: その高度障害保険金は罰金刑でない一方で垂直移動する
1. 仮定1: 以下のように仮定する。その平地林は真っ白い
2. 事実21と仮定1から、推論1: "「その平地林は切り離し難いがしかし集荷でない」ということは成り立たない"が導かれる
3. 事実16から、推論2: "もし仮に「その平地林は切り離し難い一方で集荷でない」ということは成り立たないなら刺繍しない"が導かれる
4. 推論1と推論2から、推論3: "「その平地林は刺繍するということはない」ということは確かである"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その平地林は真っ白いということはない"が導かれる
7. 推論5と事実15から、推論6: "「この黒枠は真っ白くないがそれは近寄り難い」ということは嘘である"が導かれる
8. 事実5から、推論7: "「この黒枠は真っ白いということはないけれど近寄り難い」ということは間違っているとすれば罰金刑でない"が導かれる
9. 推論6と推論7から、推論8: "この黒枠は罰金刑でない"が導かれる
10. 推論8と事実2から、仮説が否定される

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