「戻り易いかもしくは迂回しないかまたはどちらもである」物はある
fact1: あの生産途中は木目細かいかもしくは迂回するかもしくはどちらもだ fact2: 「事業代行者であるかあるいは刺々するかあるいは両方な」ものはある fact3: もしあの建築素材が汚れ易くてそれにそれは重いならば「この地域振興券は重くない」ということは真実である fact4: なにかは寝起きするか握り易いかまたは両方だ fact5: 「あるものは迂回する一方で断定出来ない」ということは成り立たないとするとそれは迂回しない fact6: なにかは増え難いか男らしくないかあるいは両方ともだ fact7: 仮にあの建築素材が登場人物でないとすると汚れ易いしひもじい fact8: 何かは重くないとすれば「迂回するが断定出来ない」ということは成り立たない fact9: あの日本版ＬＬＣはＩＴ化するということはない fact10: もし仮にそのアモルファスが戻り易いならあの日本版ＬＬＣはポート番号であるかまたは刺々しないか両方だ fact11: なにかは迂回しないとしたら戻り易い fact12: あの日本版ＬＬＣは迂回しない fact13: あの譲渡担保権者は集古会であるかもしくは躍り出るかもしくはどちらもである fact14: もし仮にこの地域振興券が戻り易いならそのアモルファスは戻り易い fact15: あの建築素材は重い fact16: あのげそは迂回しない
fact12 -> int1: あの日本版ＬＬＣは戻り易いかそれは迂回しないかどちらもだ; int1 -> hypothesis;
「ポート番号であるかもしくは刺々しないかもしくは両方である」物はある
fact20 -> int2: この地域振興券は迂回しないならば「それは戻り易い」ということは真実だ; fact23 -> int3: もしも「この地域振興券は迂回するけどそれは断定出来ない」ということは間違っているとすればそれは迂回しない; fact17 -> int4: もしもこの地域振興券は重いということはないならば「それは迂回するし断定出来ない」ということは誤っている;
$facts$ = fact1: あの生産途中は木目細かいかもしくは迂回するかもしくはどちらもだ fact2: 「事業代行者であるかあるいは刺々するかあるいは両方な」ものはある fact3: もしあの建築素材が汚れ易くてそれにそれは重いならば「この地域振興券は重くない」ということは真実である fact4: なにかは寝起きするか握り易いかまたは両方だ fact5: 「あるものは迂回する一方で断定出来ない」ということは成り立たないとするとそれは迂回しない fact6: なにかは増え難いか男らしくないかあるいは両方ともだ fact7: 仮にあの建築素材が登場人物でないとすると汚れ易いしひもじい fact8: 何かは重くないとすれば「迂回するが断定出来ない」ということは成り立たない fact9: あの日本版ＬＬＣはＩＴ化するということはない fact10: もし仮にそのアモルファスが戻り易いならあの日本版ＬＬＣはポート番号であるかまたは刺々しないか両方だ fact11: なにかは迂回しないとしたら戻り易い fact12: あの日本版ＬＬＣは迂回しない fact13: あの譲渡担保権者は集古会であるかもしくは躍り出るかもしくはどちらもである fact14: もし仮にこの地域振興券が戻り易いならそのアモルファスは戻り易い fact15: あの建築素材は重い fact16: あのげそは迂回しない ; $hypothesis$ = 「戻り易いかもしくは迂回しないかまたはどちらもである」物はある ; $proof$ = 
fact12 -> int1: あの日本版ＬＬＣは戻り易いかそれは迂回しないかどちらもだ; int1 -> hypothesis; __PROVED__
事実1: あの生産途中は木目細かいかもしくは迂回するかもしくはどちらもだ
事実2: 「事業代行者であるかあるいは刺々するかあるいは両方な」ものはある
事実3: もしあの建築素材が汚れ易くてそれにそれは重いならば「この地域振興券は重くない」ということは真実である
事実4: なにかは寝起きするか握り易いかまたは両方だ
事実5: 「あるものは迂回する一方で断定出来ない」ということは成り立たないとするとそれは迂回しない
事実6: なにかは増え難いか男らしくないかあるいは両方ともだ
事実7: 仮にあの建築素材が登場人物でないとすると汚れ易いしひもじい
事実8: 何かは重くないとすれば「迂回するが断定出来ない」ということは成り立たない
事実9: あの日本版ＬＬＣはＩＴ化するということはない
事実10: もし仮にそのアモルファスが戻り易いならあの日本版ＬＬＣはポート番号であるかまたは刺々しないか両方だ
事実11: なにかは迂回しないとしたら戻り易い
事実12: あの日本版ＬＬＣは迂回しない
事実13: あの譲渡担保権者は集古会であるかもしくは躍り出るかもしくはどちらもである
事実14: もし仮にこの地域振興券が戻り易いならそのアモルファスは戻り易い
事実15: あの建築素材は重い
事実16: あのげそは迂回しない

仮説: 「戻り易いかもしくは迂回しないかまたはどちらもである」物はある
1. 事実12から、推論1: "あの日本版ＬＬＣは戻り易いかそれは迂回しないかどちらもだ"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。