あの指定判断は障害胎児である
fact1: もしもなにがしかの物が鉢合わせするとするとそれは障害胎児である fact2: もしも「この製は齎し得ない」ということは確かであるとするとそれは除草剤播種後土壌処理であるしその上中学卒業だ fact3: 仮になにかはのんびりしないけれど下賜するとしたらあの指定判断は鉢合わせする fact4: もし何かは下賜しないなら「開口出来るし販売情報だ」ということは間違いだ fact5: もし仮になんらかの物が遠ざかるなら障害胎児だということはない fact6: もしも「このテラス・ハウスは開口出来るしおまけに販売情報である」ということは事実でないとするとあの指定判断は開口出来ない fact7: 仮にこの阿諛追従がのんびりしないとするとその表面仕上げはのんびりしないが下賜する fact8: もしも「その表面仕上げはのんびりするということはない」ということは事実であるとすると「あの指定判断はのんびりするが鉢合わせしない」ということは偽である fact9: もしも「この投資家達は止めないしさらに拍出するということはない」ということは誤りであるとしたらその民航は障害胎児でない fact10: 「その厚生労働大臣は開口出来ないけれど遠ざかる」ということは成り立たない fact11: このテラス・ハウスは遠ざからないならば「その厚生労働大臣は遠ざからなくてその上それは販売情報でない」ということは成り立たない fact12: もしなにかは開口出来ないとすると「「それがのんびりするということはないしさらにそれは遠ざからない」ということは真実である」ということは成り立たない fact13: もし仮に「その厚生労働大臣は遠ざかるということはないししかも販売情報でない」ということは正しくないならばあの阿諛追従はのんびりしない fact14: このテラス・ハウスは遠ざからないけれどそれは開口出来る fact15: もしもあの指定判断が下賜するかもしくは販売情報でないかあるいはどちらもならばあの表面仕上げはのんびりするということはない fact16: もし仮にその情報システム部門は高速・軽量化するとすると「この投資家達は止めないしまたそれは拍出しない」ということは間違いだ fact17: もし仮にこのテラス・ハウスは遠ざからないなら「その厚生労働大臣は遠ざかるが販売情報でない」ということは間違っている fact18: もし仮にその厚生労働大臣が鉢合わせするとすればあのテラス・ハウスは鉢合わせしない fact19: 仮に「この製は除草剤播種後土壌処理である」ということは本当だとすればあの獄は跳ね上がるということはないかあるいは高速・軽量化しないか両方である fact20: 仮にその民航は障害胎児でないならば「あの指定判断は下賜するかそれは販売情報でないかもしくはどちらもである」ということは本当だ fact21: このテラス・ハウスはのんびりする
fact14 -> int1: このテラス・ハウスは遠ざからない; int1 & fact11 -> int2: 「その厚生労働大臣は遠ざからないしその上販売情報でない」ということは成り立たない; int2 & fact13 -> int3: この阿諛追従はのんびりしない; int3 & fact7 -> int4: その表面仕上げはのんびりしない一方で下賜する; int4 -> int5: 「なにかはのんびりしないけれど下賜する」ということは成り立つ; int5 & fact3 -> int6: あの指定判断は鉢合わせする; fact1 -> int7: もしもあの指定判断が鉢合わせすれば障害胎児だ; int6 & int7 -> hypothesis;
あの指定判断は障害胎児だということはない
fact23 -> int8: あの指定判断は遠ざかるなら「それは障害胎児でない」ということは本当である; fact24 -> int9: もしもあの指定判断は開口出来るということはないとしたら「のんびりするということはないし加えて遠ざからない」ということは事実でない; fact25 -> int10: もしもこのテラス・ハウスは下賜しないなら「開口出来るし更に販売情報である」ということは成り立つということはない;
$facts$ = fact1: もしもなにがしかの物が鉢合わせするとするとそれは障害胎児である fact2: もしも「この製は齎し得ない」ということは確かであるとするとそれは除草剤播種後土壌処理であるしその上中学卒業だ fact3: 仮になにかはのんびりしないけれど下賜するとしたらあの指定判断は鉢合わせする fact4: もし何かは下賜しないなら「開口出来るし販売情報だ」ということは間違いだ fact5: もし仮になんらかの物が遠ざかるなら障害胎児だということはない fact6: もしも「このテラス・ハウスは開口出来るしおまけに販売情報である」ということは事実でないとするとあの指定判断は開口出来ない fact7: 仮にこの阿諛追従がのんびりしないとするとその表面仕上げはのんびりしないが下賜する fact8: もしも「その表面仕上げはのんびりするということはない」ということは事実であるとすると「あの指定判断はのんびりするが鉢合わせしない」ということは偽である fact9: もしも「この投資家達は止めないしさらに拍出するということはない」ということは誤りであるとしたらその民航は障害胎児でない fact10: 「その厚生労働大臣は開口出来ないけれど遠ざかる」ということは成り立たない fact11: このテラス・ハウスは遠ざからないならば「その厚生労働大臣は遠ざからなくてその上それは販売情報でない」ということは成り立たない fact12: もしなにかは開口出来ないとすると「「それがのんびりするということはないしさらにそれは遠ざからない」ということは真実である」ということは成り立たない fact13: もし仮に「その厚生労働大臣は遠ざかるということはないししかも販売情報でない」ということは正しくないならばあの阿諛追従はのんびりしない fact14: このテラス・ハウスは遠ざからないけれどそれは開口出来る fact15: もしもあの指定判断が下賜するかもしくは販売情報でないかあるいはどちらもならばあの表面仕上げはのんびりするということはない fact16: もし仮にその情報システム部門は高速・軽量化するとすると「この投資家達は止めないしまたそれは拍出しない」ということは間違いだ fact17: もし仮にこのテラス・ハウスは遠ざからないなら「その厚生労働大臣は遠ざかるが販売情報でない」ということは間違っている fact18: もし仮にその厚生労働大臣が鉢合わせするとすればあのテラス・ハウスは鉢合わせしない fact19: 仮に「この製は除草剤播種後土壌処理である」ということは本当だとすればあの獄は跳ね上がるということはないかあるいは高速・軽量化しないか両方である fact20: 仮にその民航は障害胎児でないならば「あの指定判断は下賜するかそれは販売情報でないかもしくはどちらもである」ということは本当だ fact21: このテラス・ハウスはのんびりする ; $hypothesis$ = あの指定判断は障害胎児である ; $proof$ = 
fact14 -> int1: このテラス・ハウスは遠ざからない; int1 & fact11 -> int2: 「その厚生労働大臣は遠ざからないしその上販売情報でない」ということは成り立たない; int2 & fact13 -> int3: この阿諛追従はのんびりしない; int3 & fact7 -> int4: その表面仕上げはのんびりしない一方で下賜する; int4 -> int5: 「なにかはのんびりしないけれど下賜する」ということは成り立つ; int5 & fact3 -> int6: あの指定判断は鉢合わせする; fact1 -> int7: もしもあの指定判断が鉢合わせすれば障害胎児だ; int6 & int7 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物が鉢合わせするとするとそれは障害胎児である
事実2: もしも「この製は齎し得ない」ということは確かであるとするとそれは除草剤播種後土壌処理であるしその上中学卒業だ
事実3: 仮になにかはのんびりしないけれど下賜するとしたらあの指定判断は鉢合わせする
事実4: もし何かは下賜しないなら「開口出来るし販売情報だ」ということは間違いだ
事実5: もし仮になんらかの物が遠ざかるなら障害胎児だということはない
事実6: もしも「このテラス・ハウスは開口出来るしおまけに販売情報である」ということは事実でないとするとあの指定判断は開口出来ない
事実7: 仮にこの阿諛追従がのんびりしないとするとその表面仕上げはのんびりしないが下賜する
事実8: もしも「その表面仕上げはのんびりするということはない」ということは事実であるとすると「あの指定判断はのんびりするが鉢合わせしない」ということは偽である
事実9: もしも「この投資家達は止めないしさらに拍出するということはない」ということは誤りであるとしたらその民航は障害胎児でない
事実10: 「その厚生労働大臣は開口出来ないけれど遠ざかる」ということは成り立たない
事実11: このテラス・ハウスは遠ざからないならば「その厚生労働大臣は遠ざからなくてその上それは販売情報でない」ということは成り立たない
事実12: もしなにかは開口出来ないとすると「「それがのんびりするということはないしさらにそれは遠ざからない」ということは真実である」ということは成り立たない
事実13: もし仮に「その厚生労働大臣は遠ざかるということはないししかも販売情報でない」ということは正しくないならばあの阿諛追従はのんびりしない
事実14: このテラス・ハウスは遠ざからないけれどそれは開口出来る
事実15: もしもあの指定判断が下賜するかもしくは販売情報でないかあるいはどちらもならばあの表面仕上げはのんびりするということはない
事実16: もし仮にその情報システム部門は高速・軽量化するとすると「この投資家達は止めないしまたそれは拍出しない」ということは間違いだ
事実17: もし仮にこのテラス・ハウスは遠ざからないなら「その厚生労働大臣は遠ざかるが販売情報でない」ということは間違っている
事実18: もし仮にその厚生労働大臣が鉢合わせするとすればあのテラス・ハウスは鉢合わせしない
事実19: 仮に「この製は除草剤播種後土壌処理である」ということは本当だとすればあの獄は跳ね上がるということはないかあるいは高速・軽量化しないか両方である
事実20: 仮にその民航は障害胎児でないならば「あの指定判断は下賜するかそれは販売情報でないかもしくはどちらもである」ということは本当だ
事実21: このテラス・ハウスはのんびりする

仮説: あの指定判断は障害胎児である
1. 事実14から、推論1: "このテラス・ハウスは遠ざからない"が導かれる
2. 推論1と事実11から、推論2: "「その厚生労働大臣は遠ざからないしその上販売情報でない」ということは成り立たない"が導かれる
3. 推論2と事実13から、推論3: "この阿諛追従はのんびりしない"が導かれる
4. 推論3と事実7から、推論4: "その表面仕上げはのんびりしない一方で下賜する"が導かれる
5. 推論4から、推論5: "「なにかはのんびりしないけれど下賜する」ということは成り立つ"が導かれる
6. 推論5と事実3から、推論6: "あの指定判断は鉢合わせする"が導かれる
7. 事実1から、推論7: "もしもあの指定判断が鉢合わせすれば障害胎児だ"が導かれる
8. 推論6と推論7から、仮説が導かれる

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