あの飴玉は幼けないしそれは僻みっぽい
fact1: あの蕎麦畑がスタイリングでないとするとあのＦＭＰ‐リンクタグはスタイリングでないか再組織化するか両方ともである fact2: もし仮にあの蕎麦畑が減価償却方法でないかあるいは被仰付かあるいは両方ともであるとしたらスタイリングでない fact3: もし仮にあの飴玉が御仕え申さないなら印刷プレビュー画面であるということはない fact4: 仮にあのＦＭＰ‐リンクタグが僻みっぽいということはないとしたらあの飴玉は幼けないしそれは僻みっぽい fact5: もしあの蕎麦畑は減価償却方法でないとすれば「あの飴玉は減価償却方法でないかまたは僻みっぽいかもしくは両方ともである」ということは確かだ fact6: あの蕎麦畑は減価償却方法であるならばそれは僻みっぽくない fact7: 仮になにがしかのものはスタイリングでないかあるいは再組織化するかあるいはどちらもだとするとそれは僻みっぽくない fact8: この生活苦は知見するということはないかあるいはそれはライティングソフトであるかまたは両方ともである fact9: あの網膜神経線維層欠損は僻みっぽくない fact10: とある物がスタイリングでないか幼けないとしたらそれは被仰付ない fact11: あの事業成長は交通するしさらに僻みっぽい fact12: もし仮にあのＦＭＰ‐リンクタグが僻みっぽいということはないとすればあの飴玉はスタイリングで更に僻みっぽい fact13: あの類型毎は色好いということはないかあるいはスタイリングであるかもしくは両方だ fact14: 「あのＦＭＰ‐リンクタグは僻みっぽくないかまたは幼けないかまたはどちらもである」ということは本当だ fact15: 「あのＦＭＰ‐リンクタグは僻みっぽい」ということは真実であるならそれは被仰付ない fact16: あの蕎麦畑は減価償却方法でないかまたは被仰付かまたは両方ともだ fact17: あの蕎麦畑は減価償却方法であるかまたは幼けないかもしくはどちらもだ
fact2 & fact16 -> int1: 「あの蕎麦畑はスタイリングでない」ということは確かである; int1 & fact1 -> int2: あのＦＭＰ‐リンクタグはスタイリングでないかあるいは再組織化する; fact7 -> int3: 仮にあのＦＭＰ‐リンクタグはスタイリングでないかあるいは再組織化するかあるいは両方ともであるとするとそれは僻みっぽくない; int2 & int3 -> int4: 「あのＦＭＰ‐リンクタグは僻みっぽくない」ということは本当だ; int4 & fact4 -> hypothesis;
$facts$ = fact1: あの蕎麦畑がスタイリングでないとするとあのＦＭＰ‐リンクタグはスタイリングでないか再組織化するか両方ともである fact2: もし仮にあの蕎麦畑が減価償却方法でないかあるいは被仰付かあるいは両方ともであるとしたらスタイリングでない fact3: もし仮にあの飴玉が御仕え申さないなら印刷プレビュー画面であるということはない fact4: 仮にあのＦＭＰ‐リンクタグが僻みっぽいということはないとしたらあの飴玉は幼けないしそれは僻みっぽい fact5: もしあの蕎麦畑は減価償却方法でないとすれば「あの飴玉は減価償却方法でないかまたは僻みっぽいかもしくは両方ともである」ということは確かだ fact6: あの蕎麦畑は減価償却方法であるならばそれは僻みっぽくない fact7: 仮になにがしかのものはスタイリングでないかあるいは再組織化するかあるいはどちらもだとするとそれは僻みっぽくない fact8: この生活苦は知見するということはないかあるいはそれはライティングソフトであるかまたは両方ともである fact9: あの網膜神経線維層欠損は僻みっぽくない fact10: とある物がスタイリングでないか幼けないとしたらそれは被仰付ない fact11: あの事業成長は交通するしさらに僻みっぽい fact12: もし仮にあのＦＭＰ‐リンクタグが僻みっぽいということはないとすればあの飴玉はスタイリングで更に僻みっぽい fact13: あの類型毎は色好いということはないかあるいはスタイリングであるかもしくは両方だ fact14: 「あのＦＭＰ‐リンクタグは僻みっぽくないかまたは幼けないかまたはどちらもである」ということは本当だ fact15: 「あのＦＭＰ‐リンクタグは僻みっぽい」ということは真実であるならそれは被仰付ない fact16: あの蕎麦畑は減価償却方法でないかまたは被仰付かまたは両方ともだ fact17: あの蕎麦畑は減価償却方法であるかまたは幼けないかもしくはどちらもだ ; $hypothesis$ = あの飴玉は幼けないしそれは僻みっぽい ; $proof$ = 
fact2 & fact16 -> int1: 「あの蕎麦畑はスタイリングでない」ということは確かである; int1 & fact1 -> int2: あのＦＭＰ‐リンクタグはスタイリングでないかあるいは再組織化する; fact7 -> int3: 仮にあのＦＭＰ‐リンクタグはスタイリングでないかあるいは再組織化するかあるいは両方ともであるとするとそれは僻みっぽくない; int2 & int3 -> int4: 「あのＦＭＰ‐リンクタグは僻みっぽくない」ということは本当だ; int4 & fact4 -> hypothesis; __PROVED__
事実1: あの蕎麦畑がスタイリングでないとするとあのＦＭＰ‐リンクタグはスタイリングでないか再組織化するか両方ともである
事実2: もし仮にあの蕎麦畑が減価償却方法でないかあるいは被仰付かあるいは両方ともであるとしたらスタイリングでない
事実3: もし仮にあの飴玉が御仕え申さないなら印刷プレビュー画面であるということはない
事実4: 仮にあのＦＭＰ‐リンクタグが僻みっぽいということはないとしたらあの飴玉は幼けないしそれは僻みっぽい
事実5: もしあの蕎麦畑は減価償却方法でないとすれば「あの飴玉は減価償却方法でないかまたは僻みっぽいかもしくは両方ともである」ということは確かだ
事実6: あの蕎麦畑は減価償却方法であるならばそれは僻みっぽくない
事実7: 仮になにがしかのものはスタイリングでないかあるいは再組織化するかあるいはどちらもだとするとそれは僻みっぽくない
事実8: この生活苦は知見するということはないかあるいはそれはライティングソフトであるかまたは両方ともである
事実9: あの網膜神経線維層欠損は僻みっぽくない
事実10: とある物がスタイリングでないか幼けないとしたらそれは被仰付ない
事実11: あの事業成長は交通するしさらに僻みっぽい
事実12: もし仮にあのＦＭＰ‐リンクタグが僻みっぽいということはないとすればあの飴玉はスタイリングで更に僻みっぽい
事実13: あの類型毎は色好いということはないかあるいはスタイリングであるかもしくは両方だ
事実14: 「あのＦＭＰ‐リンクタグは僻みっぽくないかまたは幼けないかまたはどちらもである」ということは本当だ
事実15: 「あのＦＭＰ‐リンクタグは僻みっぽい」ということは真実であるならそれは被仰付ない
事実16: あの蕎麦畑は減価償却方法でないかまたは被仰付かまたは両方ともだ
事実17: あの蕎麦畑は減価償却方法であるかまたは幼けないかもしくはどちらもだ

仮説: あの飴玉は幼けないしそれは僻みっぽい
1. 事実2と事実16から、推論1: "「あの蕎麦畑はスタイリングでない」ということは確かである"が導かれる
2. 推論1と事実1から、推論2: "あのＦＭＰ‐リンクタグはスタイリングでないかあるいは再組織化する"が導かれる
3. 事実7から、推論3: "仮にあのＦＭＰ‐リンクタグはスタイリングでないかあるいは再組織化するかあるいは両方ともであるとするとそれは僻みっぽくない"が導かれる
4. 推論2と推論3から、推論4: "「あのＦＭＰ‐リンクタグは僻みっぽくない」ということは本当だ"が導かれる
5. 推論4と事実4から、仮説が導かれる

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