この軍事目標はウールン商会でない
fact1: もしもその三角形は扱い難いならば「根拠付けない」ということは真実だ fact2: とある物が痛ーいということはないならそれは選任出来ないがしかし抱え始める fact3: あの自然観察がきらめくしその上それは選任出来る fact4: あのＯＶが選任出来ないならばそれは助け合えない fact5: 仮にあのＯＶは要しないとすると「それはＡＡである」ということは真実だ fact6: もし仮に「抱え始めるしその上痛ーい」物があるとするとこの軍事目標はウールン商会だ fact7: この軍事目標は削り直すということはない fact8: 聞き辛くないものは咳止めである fact9: もし仮になにがしかの物はインターネットであるということはないとするとそれはＡＡであるということはないけど要する fact10: この茶褐色は選任出来ない fact11: その三角形は扱い難いかあるいはそれは編集しないかもしくはどちらもだ fact12: 「抱え始める」物はある fact13: あのＯＶはウールン商会である fact14: あの出来高ゾーン投資術は要しない fact15: とある物がＡＡでないがそれが要するとすると痛ーいということはない fact16: あのＯＶは選任出来ない fact17: その三角形は根拠付けるということはないなら「統括しないし更にそれは政治史だ」ということは事実と異なる fact18: 「痛ーい」ものはある fact19: もしも「「その三角形は統括しないけど政治史である」ということは嘘だ」ということは成り立てばそれはインターネットでない fact20: もしもとある物が抱え始めるしウールン商会であるとすればこの軍事目標は要する fact21: もし仮に何かは助け合えないならばそれは抱え始める fact22: 仮にあのＯＶが要するということはないなら痛ーいしＡＡだ fact23: あのＯＶは要しない fact24: もしもその三角形が編集しないならそれは根拠付けるということはない fact25: あのＯＶはＡＡである fact26: あのＯＶが抱え始めないとすればそれは蟠る fact27: あのＯＶが痛ーくないとするとこの軍事目標は助け合えるしかつそれは抱え始める
fact4 & fact16 -> int1: あのＯＶは助け合えない; fact21 -> int2: もしあのＯＶが助け合えないとすると抱え始める; int1 & int2 -> int3: あのＯＶは抱え始める; fact23 & fact22 -> int4: あのＯＶは痛ーいしＡＡだ; int4 -> int5: あのＯＶは痛ーい; int3 & int5 -> int6: あのＯＶは抱え始めるし痛ーい; int6 -> int7: 何かは抱え始めるし更に痛ーい; int7 & fact6 -> hypothesis;
この軍事目標はウールン商会でない
fact34 -> int8: もしもその三角形が痛ーくないとすると選任出来ないけど抱え始める; fact31 -> int9: もしその三角形がＡＡでないけれど要するなら痛ーくない; fact32 -> int10: 「その三角形はインターネットでない」ということは成り立てばＡＡでないがしかし要する; fact29 & fact35 & fact28 -> int11: その三角形は根拠付けない; fact30 & int11 -> int12: 「その三角形は統括しないけれど政治史だ」ということは誤っている; fact33 & int12 -> int13: 「その三角形はインターネットでない」ということは正しい; int10 & int13 -> int14: その三角形はＡＡでないけど要する; int9 & int14 -> int15: その三角形は痛ーくない; int8 & int15 -> int16: その三角形は選任出来ない一方で抱え始める; int16 -> int17: その三角形は選任出来ない; int17 -> int18: 「選任出来ない」ものはある;
$facts$ = fact1: もしもその三角形は扱い難いならば「根拠付けない」ということは真実だ fact2: とある物が痛ーいということはないならそれは選任出来ないがしかし抱え始める fact3: あの自然観察がきらめくしその上それは選任出来る fact4: あのＯＶが選任出来ないならばそれは助け合えない fact5: 仮にあのＯＶは要しないとすると「それはＡＡである」ということは真実だ fact6: もし仮に「抱え始めるしその上痛ーい」物があるとするとこの軍事目標はウールン商会だ fact7: この軍事目標は削り直すということはない fact8: 聞き辛くないものは咳止めである fact9: もし仮になにがしかの物はインターネットであるということはないとするとそれはＡＡであるということはないけど要する fact10: この茶褐色は選任出来ない fact11: その三角形は扱い難いかあるいはそれは編集しないかもしくはどちらもだ fact12: 「抱え始める」物はある fact13: あのＯＶはウールン商会である fact14: あの出来高ゾーン投資術は要しない fact15: とある物がＡＡでないがそれが要するとすると痛ーいということはない fact16: あのＯＶは選任出来ない fact17: その三角形は根拠付けるということはないなら「統括しないし更にそれは政治史だ」ということは事実と異なる fact18: 「痛ーい」ものはある fact19: もしも「「その三角形は統括しないけど政治史である」ということは嘘だ」ということは成り立てばそれはインターネットでない fact20: もしもとある物が抱え始めるしウールン商会であるとすればこの軍事目標は要する fact21: もし仮に何かは助け合えないならばそれは抱え始める fact22: 仮にあのＯＶが要するということはないなら痛ーいしＡＡだ fact23: あのＯＶは要しない fact24: もしもその三角形が編集しないならそれは根拠付けるということはない fact25: あのＯＶはＡＡである fact26: あのＯＶが抱え始めないとすればそれは蟠る fact27: あのＯＶが痛ーくないとするとこの軍事目標は助け合えるしかつそれは抱え始める ; $hypothesis$ = この軍事目標はウールン商会でない ; $proof$ = 
fact4 & fact16 -> int1: あのＯＶは助け合えない; fact21 -> int2: もしあのＯＶが助け合えないとすると抱え始める; int1 & int2 -> int3: あのＯＶは抱え始める; fact23 & fact22 -> int4: あのＯＶは痛ーいしＡＡだ; int4 -> int5: あのＯＶは痛ーい; int3 & int5 -> int6: あのＯＶは抱え始めるし痛ーい; int6 -> int7: 何かは抱え始めるし更に痛ーい; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもその三角形は扱い難いならば「根拠付けない」ということは真実だ
事実2: とある物が痛ーいということはないならそれは選任出来ないがしかし抱え始める
事実3: あの自然観察がきらめくしその上それは選任出来る
事実4: あのＯＶが選任出来ないならばそれは助け合えない
事実5: 仮にあのＯＶは要しないとすると「それはＡＡである」ということは真実だ
事実6: もし仮に「抱え始めるしその上痛ーい」物があるとするとこの軍事目標はウールン商会だ
事実7: この軍事目標は削り直すということはない
事実8: 聞き辛くないものは咳止めである
事実9: もし仮になにがしかの物はインターネットであるということはないとするとそれはＡＡであるということはないけど要する
事実10: この茶褐色は選任出来ない
事実11: その三角形は扱い難いかあるいはそれは編集しないかもしくはどちらもだ
事実12: 「抱え始める」物はある
事実13: あのＯＶはウールン商会である
事実14: あの出来高ゾーン投資術は要しない
事実15: とある物がＡＡでないがそれが要するとすると痛ーいということはない
事実16: あのＯＶは選任出来ない
事実17: その三角形は根拠付けるということはないなら「統括しないし更にそれは政治史だ」ということは事実と異なる
事実18: 「痛ーい」ものはある
事実19: もしも「「その三角形は統括しないけど政治史である」ということは嘘だ」ということは成り立てばそれはインターネットでない
事実20: もしもとある物が抱え始めるしウールン商会であるとすればこの軍事目標は要する
事実21: もし仮に何かは助け合えないならばそれは抱え始める
事実22: 仮にあのＯＶが要するということはないなら痛ーいしＡＡだ
事実23: あのＯＶは要しない
事実24: もしもその三角形が編集しないならそれは根拠付けるということはない
事実25: あのＯＶはＡＡである
事実26: あのＯＶが抱え始めないとすればそれは蟠る
事実27: あのＯＶが痛ーくないとするとこの軍事目標は助け合えるしかつそれは抱え始める

仮説: この軍事目標はウールン商会でない
1. 事実4と事実16から、推論1: "あのＯＶは助け合えない"が導かれる
2. 事実21から、推論2: "もしあのＯＶが助け合えないとすると抱え始める"が導かれる
3. 推論1と推論2から、推論3: "あのＯＶは抱え始める"が導かれる
4. 事実23と事実22から、推論4: "あのＯＶは痛ーいしＡＡだ"が導かれる
5. 推論4から、推論5: "あのＯＶは痛ーい"が導かれる
6. 推論3と推論5から、推論6: "あのＯＶは抱え始めるし痛ーい"が導かれる
7. 推論6から、推論7: "何かは抱え始めるし更に痛ーい"が導かれる
8. 推論7と事実6から、仮説が否定される

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