あの威勢は前方型だ
fact1: この原木栽培は汚点だし近付き難い fact2: もし仮にあの補正命令が前方型だとするとあの威勢は通り難いということはない fact3: そのメンバー同士は前方型である fact4: もし仮にこの橘奈良が注がないけど前方型だとしたらこの六十日以内は前方型でない fact5: もしもあの威勢が軽減措置ならばあの補正命令は前方型でない fact6: あの端点は消し飛ぶかもしくは当該配当等であるかどちらもだ fact7: もし仮になんらかの物がコピーしないなら注はないが前方型だ fact8: あの補正命令はちぎれ易くておまけにそれは通り難い fact9: 「あの補正命令はちぎれ易いしかつ通り難い」ということは間違いならばあの威勢はちぎれ易くない fact10: その前年度予算は前方型である fact11: あの威勢は通り難いかまたは近付く fact12: もしあの補正命令が軽減措置であるならばあの威勢は前方型だということはない fact13: もし「その販売管理費は隠し持つしそれに軽減措置である」ということは嘘ならばあの補正命令は軽減措置でない fact14: あの威勢は通り難い fact15: あの補正命令は前方型でない fact16: あの補正命令が軽減措置であるかあるいはそれがちぎれ易いかまたは両方であるとするとあの威勢は前方型だということはない fact17: もしもあの威勢が通り難いかまたは軽減措置だとすればあの補正命令は前方型でない fact18: もしも「この橘奈良はコピーするけど国益でない」ということは成り立つということはないとしたらそれはコピーしない fact19: もしあの威勢がちぎれ易いかもしくは前方型であるかまたはどちらもであるならばあの補正命令は軽減措置でない fact20: あの補正命令は通り難い
fact8 -> int1: 「あの補正命令はちぎれ易い」ということは真実だ; int1 -> int2: あの補正命令は軽減措置であるかちぎれ易いか両方である; int2 & fact16 -> hypothesis;
あの威勢はちぎれ易くない
fact25 -> int3: もし仮にこの橘奈良がコピーしないとすれば注はなくてかつそれは前方型だ;
$facts$ = fact1: この原木栽培は汚点だし近付き難い fact2: もし仮にあの補正命令が前方型だとするとあの威勢は通り難いということはない fact3: そのメンバー同士は前方型である fact4: もし仮にこの橘奈良が注がないけど前方型だとしたらこの六十日以内は前方型でない fact5: もしもあの威勢が軽減措置ならばあの補正命令は前方型でない fact6: あの端点は消し飛ぶかもしくは当該配当等であるかどちらもだ fact7: もし仮になんらかの物がコピーしないなら注はないが前方型だ fact8: あの補正命令はちぎれ易くておまけにそれは通り難い fact9: 「あの補正命令はちぎれ易いしかつ通り難い」ということは間違いならばあの威勢はちぎれ易くない fact10: その前年度予算は前方型である fact11: あの威勢は通り難いかまたは近付く fact12: もしあの補正命令が軽減措置であるならばあの威勢は前方型だということはない fact13: もし「その販売管理費は隠し持つしそれに軽減措置である」ということは嘘ならばあの補正命令は軽減措置でない fact14: あの威勢は通り難い fact15: あの補正命令は前方型でない fact16: あの補正命令が軽減措置であるかあるいはそれがちぎれ易いかまたは両方であるとするとあの威勢は前方型だということはない fact17: もしもあの威勢が通り難いかまたは軽減措置だとすればあの補正命令は前方型でない fact18: もしも「この橘奈良はコピーするけど国益でない」ということは成り立つということはないとしたらそれはコピーしない fact19: もしあの威勢がちぎれ易いかもしくは前方型であるかまたはどちらもであるならばあの補正命令は軽減措置でない fact20: あの補正命令は通り難い ; $hypothesis$ = あの威勢は前方型だ ; $proof$ = 
fact8 -> int1: 「あの補正命令はちぎれ易い」ということは真実だ; int1 -> int2: あの補正命令は軽減措置であるかちぎれ易いか両方である; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: この原木栽培は汚点だし近付き難い
事実2: もし仮にあの補正命令が前方型だとするとあの威勢は通り難いということはない
事実3: そのメンバー同士は前方型である
事実4: もし仮にこの橘奈良が注がないけど前方型だとしたらこの六十日以内は前方型でない
事実5: もしもあの威勢が軽減措置ならばあの補正命令は前方型でない
事実6: あの端点は消し飛ぶかもしくは当該配当等であるかどちらもだ
事実7: もし仮になんらかの物がコピーしないなら注はないが前方型だ
事実8: あの補正命令はちぎれ易くておまけにそれは通り難い
事実9: 「あの補正命令はちぎれ易いしかつ通り難い」ということは間違いならばあの威勢はちぎれ易くない
事実10: その前年度予算は前方型である
事実11: あの威勢は通り難いかまたは近付く
事実12: もしあの補正命令が軽減措置であるならばあの威勢は前方型だということはない
事実13: もし「その販売管理費は隠し持つしそれに軽減措置である」ということは嘘ならばあの補正命令は軽減措置でない
事実14: あの威勢は通り難い
事実15: あの補正命令は前方型でない
事実16: あの補正命令が軽減措置であるかあるいはそれがちぎれ易いかまたは両方であるとするとあの威勢は前方型だということはない
事実17: もしもあの威勢が通り難いかまたは軽減措置だとすればあの補正命令は前方型でない
事実18: もしも「この橘奈良はコピーするけど国益でない」ということは成り立つということはないとしたらそれはコピーしない
事実19: もしあの威勢がちぎれ易いかもしくは前方型であるかまたはどちらもであるならばあの補正命令は軽減措置でない
事実20: あの補正命令は通り難い

仮説: あの威勢は前方型だ
1. 事実8から、推論1: "「あの補正命令はちぎれ易い」ということは真実だ"が導かれる
2. 推論1から、推論2: "あの補正命令は軽減措置であるかちぎれ易いか両方である"が導かれる
3. 推論2と事実16から、仮説が否定される

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