あの牽連犯は黒玉でないが諫む
fact1: 黒玉は作り易いということはないかもしくは諫むないかどちらもである fact2: もし仮にあの牽連犯が選出しないとするとあの加入者期間は出来難いということはなくてファンシーエッグでない fact3: あの雌蕊が使い辛くないとするとあの教授達は標準化しないけれど登録制である fact4: もしもそのＢＨＣは選出するししかも締め出すとすれば俯けない fact5: もし仮にそのＢＨＣが出来難いならあの加入者期間は作り易い fact6: 治療代は幼し fact7: もしもあの加入者期間が出来難くないしその上ファンシーエッグでないならそのＢＨＣはファンシーエッグである fact8: もしあの注入量は締め出すとしたら「あの牽連犯は選出するがそれは俯けない」ということは誤っている fact9: あの分析力は俯けない fact10: あの加入者期間が俯けるということはないとすればそのＢＨＣは締め出すけれど選出しない fact11: もしあの加入者期間が作り易いとすればそれは諫む fact12: あの注入量が着想するということはないとすればあの加入者期間は作り易いかあるいはそれはファンシーエッグでない fact13: もしあの教授達が標準化するということはないがそれが登録制だとすると衒わない fact14: もし仮に「あの注入量はファンシーエッグだということはない一方で俯ける」ということは成り立たないとしたらそのＢＨＣは俯ける fact15: そのＢＨＣは締め出す fact16: もし仮にこのヘブンが使い辛いとするとあの雌蕊は使い辛いということはない fact17: 仮にとある物が幼しとすれば緩み易いし着想しない fact18: 「あの注入量はファンシーエッグでないけれど俯ける」ということは誤りである fact19: 仮にそのＢＨＣは出来難くないとしたら「選出する」ということは成り立つ fact20: もしあの教授達が衒わないならあのＶルックアップ関数は被り始めないし兄夫婦でない fact21: 「あの注入量はファンシーエッグだということはない一方でそれは選出する」ということは成り立たない fact22: あのＶルックアップ関数が緩み易いがしかし着想しないとすればあの注入量は着想するということはない fact23: もし何らかの物は被り始めないし兄夫婦でないとすればそれは治療代だ fact24: もしあの加入者期間は諫むなら「あの牽連犯は黒玉でない一方で諫む」ということは成り立たない fact25: このヘブンは使い辛い fact26: もしなんらかのものは作り易くないか諫むないか両方であるとするとそれは締め出す fact27: 仮にあの注入量はファンシーエッグだとしたら「あの加入者期間は作り易くないがファンシーエッグだ」ということは成り立つということはない fact28: このオプションは締め出す fact29: 出来難いということはないものは黒玉でないけど諫む
void -> assump1: 以下のように仮定する。そのＢＨＣは出来難くない; fact19 & assump1 -> int1: そのＢＨＣは選出する; int1 & fact15 -> int2: 「そのＢＨＣは選出するししかも締め出す」ということは誤っていない; int2 & fact4 -> int3: そのＢＨＣは俯けない; fact14 & fact18 -> int4: そのＢＨＣは俯ける; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのＢＨＣは出来難い; int6 & fact5 -> int7: あの加入者期間は作り易い; int7 & fact11 -> int8: あの加入者期間は諫む; int8 & fact24 -> hypothesis;
そのＢＨＣはファンシーエッグである
fact32 -> int9: もし仮にあの注入量が作り易くないかあるいは諫むということはないかもしくはどちらもであるとすれば締め出す; fact30 -> int10: 仮にあの注入量が黒玉ならば作り易くないかまたはそれは諫むない;
$facts$ = fact1: 黒玉は作り易いということはないかもしくは諫むないかどちらもである fact2: もし仮にあの牽連犯が選出しないとするとあの加入者期間は出来難いということはなくてファンシーエッグでない fact3: あの雌蕊が使い辛くないとするとあの教授達は標準化しないけれど登録制である fact4: もしもそのＢＨＣは選出するししかも締め出すとすれば俯けない fact5: もし仮にそのＢＨＣが出来難いならあの加入者期間は作り易い fact6: 治療代は幼し fact7: もしもあの加入者期間が出来難くないしその上ファンシーエッグでないならそのＢＨＣはファンシーエッグである fact8: もしあの注入量は締め出すとしたら「あの牽連犯は選出するがそれは俯けない」ということは誤っている fact9: あの分析力は俯けない fact10: あの加入者期間が俯けるということはないとすればそのＢＨＣは締め出すけれど選出しない fact11: もしあの加入者期間が作り易いとすればそれは諫む fact12: あの注入量が着想するということはないとすればあの加入者期間は作り易いかあるいはそれはファンシーエッグでない fact13: もしあの教授達が標準化するということはないがそれが登録制だとすると衒わない fact14: もし仮に「あの注入量はファンシーエッグだということはない一方で俯ける」ということは成り立たないとしたらそのＢＨＣは俯ける fact15: そのＢＨＣは締め出す fact16: もし仮にこのヘブンが使い辛いとするとあの雌蕊は使い辛いということはない fact17: 仮にとある物が幼しとすれば緩み易いし着想しない fact18: 「あの注入量はファンシーエッグでないけれど俯ける」ということは誤りである fact19: 仮にそのＢＨＣは出来難くないとしたら「選出する」ということは成り立つ fact20: もしあの教授達が衒わないならあのＶルックアップ関数は被り始めないし兄夫婦でない fact21: 「あの注入量はファンシーエッグだということはない一方でそれは選出する」ということは成り立たない fact22: あのＶルックアップ関数が緩み易いがしかし着想しないとすればあの注入量は着想するということはない fact23: もし何らかの物は被り始めないし兄夫婦でないとすればそれは治療代だ fact24: もしあの加入者期間は諫むなら「あの牽連犯は黒玉でない一方で諫む」ということは成り立たない fact25: このヘブンは使い辛い fact26: もしなんらかのものは作り易くないか諫むないか両方であるとするとそれは締め出す fact27: 仮にあの注入量はファンシーエッグだとしたら「あの加入者期間は作り易くないがファンシーエッグだ」ということは成り立つということはない fact28: このオプションは締め出す fact29: 出来難いということはないものは黒玉でないけど諫む ; $hypothesis$ = あの牽連犯は黒玉でないが諫む ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＢＨＣは出来難くない; fact19 & assump1 -> int1: そのＢＨＣは選出する; int1 & fact15 -> int2: 「そのＢＨＣは選出するししかも締め出す」ということは誤っていない; int2 & fact4 -> int3: そのＢＨＣは俯けない; fact14 & fact18 -> int4: そのＢＨＣは俯ける; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのＢＨＣは出来難い; int6 & fact5 -> int7: あの加入者期間は作り易い; int7 & fact11 -> int8: あの加入者期間は諫む; int8 & fact24 -> hypothesis; __DISPROVED__
事実1: 黒玉は作り易いということはないかもしくは諫むないかどちらもである
事実2: もし仮にあの牽連犯が選出しないとするとあの加入者期間は出来難いということはなくてファンシーエッグでない
事実3: あの雌蕊が使い辛くないとするとあの教授達は標準化しないけれど登録制である
事実4: もしもそのＢＨＣは選出するししかも締め出すとすれば俯けない
事実5: もし仮にそのＢＨＣが出来難いならあの加入者期間は作り易い
事実6: 治療代は幼し
事実7: もしもあの加入者期間が出来難くないしその上ファンシーエッグでないならそのＢＨＣはファンシーエッグである
事実8: もしあの注入量は締め出すとしたら「あの牽連犯は選出するがそれは俯けない」ということは誤っている
事実9: あの分析力は俯けない
事実10: あの加入者期間が俯けるということはないとすればそのＢＨＣは締め出すけれど選出しない
事実11: もしあの加入者期間が作り易いとすればそれは諫む
事実12: あの注入量が着想するということはないとすればあの加入者期間は作り易いかあるいはそれはファンシーエッグでない
事実13: もしあの教授達が標準化するということはないがそれが登録制だとすると衒わない
事実14: もし仮に「あの注入量はファンシーエッグだということはない一方で俯ける」ということは成り立たないとしたらそのＢＨＣは俯ける
事実15: そのＢＨＣは締め出す
事実16: もし仮にこのヘブンが使い辛いとするとあの雌蕊は使い辛いということはない
事実17: 仮にとある物が幼しとすれば緩み易いし着想しない
事実18: 「あの注入量はファンシーエッグでないけれど俯ける」ということは誤りである
事実19: 仮にそのＢＨＣは出来難くないとしたら「選出する」ということは成り立つ
事実20: もしあの教授達が衒わないならあのＶルックアップ関数は被り始めないし兄夫婦でない
事実21: 「あの注入量はファンシーエッグだということはない一方でそれは選出する」ということは成り立たない
事実22: あのＶルックアップ関数が緩み易いがしかし着想しないとすればあの注入量は着想するということはない
事実23: もし何らかの物は被り始めないし兄夫婦でないとすればそれは治療代だ
事実24: もしあの加入者期間は諫むなら「あの牽連犯は黒玉でない一方で諫む」ということは成り立たない
事実25: このヘブンは使い辛い
事実26: もしなんらかのものは作り易くないか諫むないか両方であるとするとそれは締め出す
事実27: 仮にあの注入量はファンシーエッグだとしたら「あの加入者期間は作り易くないがファンシーエッグだ」ということは成り立つということはない
事実28: このオプションは締め出す
事実29: 出来難いということはないものは黒玉でないけど諫む

仮説: あの牽連犯は黒玉でないが諫む
1. 仮定1: 以下のように仮定する。そのＢＨＣは出来難くない
2. 事実19と仮定1から、推論1: "そのＢＨＣは選出する"が導かれる
3. 推論1と事実15から、推論2: "「そのＢＨＣは選出するししかも締め出す」ということは誤っていない"が導かれる
4. 推論2と事実4から、推論3: "そのＢＨＣは俯けない"が導かれる
5. 事実14と事実18から、推論4: "そのＢＨＣは俯ける"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのＢＨＣは出来難い"が導かれる
8. 推論6と事実5から、推論7: "あの加入者期間は作り易い"が導かれる
9. 推論7と事実11から、推論8: "あの加入者期間は諫む"が導かれる
10. 推論8と事実24から、仮説が否定される

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