この超音波診断はカラープリントである
fact1: その海自は提案するということはない fact2: 何かは項垂れないとするとそれは鳥島開拓であるしその上ブライダル・ベールだ fact3: 仮にこの表面仕上げは大量投与しないとすると「それは取り直さなくてそれは遣り抜く」ということは成り立つということはない fact4: 「そのマイナーはブライダル・ベールである」ということは正しい fact5: もし「そのマイナーはカラープリントでないかあるいは危なっかしいかどちらもだ」ということは誤っていればそれは取り直す fact6: もしもこの表面仕上げが便利性でないけれど落とし蓋ならばそのマイナーは便利性である fact7: もしなんらかの物が提案しないならばそれは便利性だし落とし蓋だ fact8: そのマイナーは便利性だし提案する fact9: もしも「なにがしかのものは取り直さないけどそれは遣り抜く」ということは誤っているとするとそれは提案する fact10: もしも「あの外出許可は大量投与するけど遣り抜かない」ということは嘘であるならば提案しない fact11: 「この表面仕上げは落とし蓋だということはなくて取り直すということはない」ということは成り立たないとしたらこの底蓋は遣り抜く fact12: もしなにがしかの物はブライダル・ベールだとしたら「それは危なっかしいということはないけれど大量投与する」ということは成り立つということはない fact13: もしそのマイナーが取り直すとするとあの外出許可は功罪である fact14: どれもこれもは項垂れない fact15: もし何かは大量投与するということはなくてまた遣り抜かないならカラープリントでない fact16: 仮にそのマイナーは提案すれば「この表面仕上げは落とし蓋でないし取り直さない」ということは事実でない fact17: もしも「この底蓋は遣り抜く」ということは成り立つとしたらこの超音波診断は大量投与しなくてその上それは遣り抜かない fact18: 「「とある物は危なっかしくない一方で大量投与する」ということは事実である」ということは成り立たないなら「大量投与しない」ということは成り立つ
fact8 -> int1: そのマイナーは提案する; int1 & fact16 -> int2: 「この表面仕上げは落とし蓋でなくてそれにそれは取り直さない」ということは偽だ; int2 & fact11 -> int3: この底蓋は遣り抜く; int3 & fact17 -> int4: この超音波診断は大量投与しなくてかつ遣り抜かない; fact15 -> int5: もし仮にこの超音波診断が大量投与しなくておまけに遣り抜くということはないとしたらカラープリントでない; int4 & int5 -> hypothesis;
この超音波診断はカラープリントだ
fact25 -> int6: 「もし仮に「この表面仕上げは取り直さない一方でそれは遣り抜く」ということは間違っているならこの表面仕上げは提案する」ということは確かである; fact19 -> int7: もしもこの表面仕上げはブライダル・ベールであるなら「それは危なっかしくなくてかつそれは大量投与する」ということは間違っている; fact20 -> int8: もしこの底蓋が項垂れないとすれば鳥島開拓でブライダル・ベールである; fact23 -> int9: この底蓋は項垂れない; int8 & int9 -> int10: この底蓋は鳥島開拓でそれにブライダル・ベールだ; int10 -> int11: どれもこれもは鳥島開拓だしそれはブライダル・ベールだ; int11 -> int12: この表面仕上げは鳥島開拓で更にブライダル・ベールだ; int12 -> int13: この表面仕上げはブライダル・ベールだ; int7 & int13 -> int14: 「「この表面仕上げは危なっかしいということはない一方で大量投与する」ということは偽だ」ということは成り立つ; fact24 -> int15: もしも「この表面仕上げは危なっかしくない一方でそれは大量投与する」ということは事実でないとしたら「大量投与しない」ということは成り立つ; int14 & int15 -> int16: 「この表面仕上げは大量投与しない」ということは成り立つ; int16 & fact22 -> int17: 「この表面仕上げは取り直さないけれど遣り抜く」ということは事実と異なる; int6 & int17 -> int18: 「この表面仕上げは提案する」ということは正しい;
$facts$ = fact1: その海自は提案するということはない fact2: 何かは項垂れないとするとそれは鳥島開拓であるしその上ブライダル・ベールだ fact3: 仮にこの表面仕上げは大量投与しないとすると「それは取り直さなくてそれは遣り抜く」ということは成り立つということはない fact4: 「そのマイナーはブライダル・ベールである」ということは正しい fact5: もし「そのマイナーはカラープリントでないかあるいは危なっかしいかどちらもだ」ということは誤っていればそれは取り直す fact6: もしもこの表面仕上げが便利性でないけれど落とし蓋ならばそのマイナーは便利性である fact7: もしなんらかの物が提案しないならばそれは便利性だし落とし蓋だ fact8: そのマイナーは便利性だし提案する fact9: もしも「なにがしかのものは取り直さないけどそれは遣り抜く」ということは誤っているとするとそれは提案する fact10: もしも「あの外出許可は大量投与するけど遣り抜かない」ということは嘘であるならば提案しない fact11: 「この表面仕上げは落とし蓋だということはなくて取り直すということはない」ということは成り立たないとしたらこの底蓋は遣り抜く fact12: もしなにがしかの物はブライダル・ベールだとしたら「それは危なっかしいということはないけれど大量投与する」ということは成り立つということはない fact13: もしそのマイナーが取り直すとするとあの外出許可は功罪である fact14: どれもこれもは項垂れない fact15: もし何かは大量投与するということはなくてまた遣り抜かないならカラープリントでない fact16: 仮にそのマイナーは提案すれば「この表面仕上げは落とし蓋でないし取り直さない」ということは事実でない fact17: もしも「この底蓋は遣り抜く」ということは成り立つとしたらこの超音波診断は大量投与しなくてその上それは遣り抜かない fact18: 「「とある物は危なっかしくない一方で大量投与する」ということは事実である」ということは成り立たないなら「大量投与しない」ということは成り立つ ; $hypothesis$ = この超音波診断はカラープリントである ; $proof$ = 
fact8 -> int1: そのマイナーは提案する; int1 & fact16 -> int2: 「この表面仕上げは落とし蓋でなくてそれにそれは取り直さない」ということは偽だ; int2 & fact11 -> int3: この底蓋は遣り抜く; int3 & fact17 -> int4: この超音波診断は大量投与しなくてかつ遣り抜かない; fact15 -> int5: もし仮にこの超音波診断が大量投与しなくておまけに遣り抜くということはないとしたらカラープリントでない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: その海自は提案するということはない
事実2: 何かは項垂れないとするとそれは鳥島開拓であるしその上ブライダル・ベールだ
事実3: 仮にこの表面仕上げは大量投与しないとすると「それは取り直さなくてそれは遣り抜く」ということは成り立つということはない
事実4: 「そのマイナーはブライダル・ベールである」ということは正しい
事実5: もし「そのマイナーはカラープリントでないかあるいは危なっかしいかどちらもだ」ということは誤っていればそれは取り直す
事実6: もしもこの表面仕上げが便利性でないけれど落とし蓋ならばそのマイナーは便利性である
事実7: もしなんらかの物が提案しないならばそれは便利性だし落とし蓋だ
事実8: そのマイナーは便利性だし提案する
事実9: もしも「なにがしかのものは取り直さないけどそれは遣り抜く」ということは誤っているとするとそれは提案する
事実10: もしも「あの外出許可は大量投与するけど遣り抜かない」ということは嘘であるならば提案しない
事実11: 「この表面仕上げは落とし蓋だということはなくて取り直すということはない」ということは成り立たないとしたらこの底蓋は遣り抜く
事実12: もしなにがしかの物はブライダル・ベールだとしたら「それは危なっかしいということはないけれど大量投与する」ということは成り立つということはない
事実13: もしそのマイナーが取り直すとするとあの外出許可は功罪である
事実14: どれもこれもは項垂れない
事実15: もし何かは大量投与するということはなくてまた遣り抜かないならカラープリントでない
事実16: 仮にそのマイナーは提案すれば「この表面仕上げは落とし蓋でないし取り直さない」ということは事実でない
事実17: もしも「この底蓋は遣り抜く」ということは成り立つとしたらこの超音波診断は大量投与しなくてその上それは遣り抜かない
事実18: 「「とある物は危なっかしくない一方で大量投与する」ということは事実である」ということは成り立たないなら「大量投与しない」ということは成り立つ

仮説: この超音波診断はカラープリントである
1. 事実8から、推論1: "そのマイナーは提案する"が導かれる
2. 推論1と事実16から、推論2: "「この表面仕上げは落とし蓋でなくてそれにそれは取り直さない」ということは偽だ"が導かれる
3. 推論2と事実11から、推論3: "この底蓋は遣り抜く"が導かれる
4. 推論3と事実17から、推論4: "この超音波診断は大量投与しなくてかつ遣り抜かない"が導かれる
5. 事実15から、推論5: "もし仮にこの超音波診断が大量投与しなくておまけに遣り抜くということはないとしたらカラープリントでない"が導かれる
6. 推論4と推論5から、仮説が否定される

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