この管制員は社会的制裁であるがどす黒くない
fact1: もし仮にこの個人企業は社会的制裁でないならば「この管制員は社会的制裁であるけどどす黒くない」ということは成り立たない fact2: もしも「繋げる」ものがあればあの量は繋げるかまたは性支配であるか両方ともだ fact3: もしあの量が繋げればその血中レベルは繋げる fact4: この舞踊家は視診する fact5: 「その血中レベルは強制送還でないかあるいはそれは馬上槍試合だということはない」ということは偽だとしたらあの量は汚れ難い fact6: 「この管制員は社会的制裁であるしさらにどす黒い」ということは間違いである fact7: もし仮にその血中レベルが繋げるならそれは汚れ難くないしそれにすばしっこくない fact8: この個人企業は視診する fact9: 一頭当たりはどす黒い fact10: もしもなんらかのものが一頭当たりだということはないならそれは社会的制裁だけどどす黒くない fact11: もしもあの量が汚れ難いとすればあの個人企業は一頭当たりである fact12: もし「その血中レベルは強制送還でないかもしくはそれは馬上槍試合であるかもしくは両方だ」ということは間違っていればあの量は汚れ難い fact13: もしこの個人企業が一頭当たりであるし視診するとするとそれは社会的制裁でない fact14: あの土木は強制送還であるしまたどうしても欲しい fact15: 「その血中レベルは強制送還でないかあるいは馬上槍試合だということはないかあるいは両方ともである」ということは成り立たない fact16: その血中レベルは汚れ難い fact17: 「繋げる」物はある fact18: その血中レベルは馬上槍試合だ
fact5 & fact15 -> int1: あの量は汚れ難い; int1 & fact11 -> int2: この個人企業は一頭当たりだ; int2 & fact8 -> int3: この個人企業は一頭当たりであるしさらにそれは視診する; int3 & fact13 -> int4: この個人企業は社会的制裁でない; int4 & fact1 -> hypothesis;
この掉尾はどす黒い
fact19 -> int5: 仮にこの掉尾は一頭当たりであるならどす黒い;
$facts$ = fact1: もし仮にこの個人企業は社会的制裁でないならば「この管制員は社会的制裁であるけどどす黒くない」ということは成り立たない fact2: もしも「繋げる」ものがあればあの量は繋げるかまたは性支配であるか両方ともだ fact3: もしあの量が繋げればその血中レベルは繋げる fact4: この舞踊家は視診する fact5: 「その血中レベルは強制送還でないかあるいはそれは馬上槍試合だということはない」ということは偽だとしたらあの量は汚れ難い fact6: 「この管制員は社会的制裁であるしさらにどす黒い」ということは間違いである fact7: もし仮にその血中レベルが繋げるならそれは汚れ難くないしそれにすばしっこくない fact8: この個人企業は視診する fact9: 一頭当たりはどす黒い fact10: もしもなんらかのものが一頭当たりだということはないならそれは社会的制裁だけどどす黒くない fact11: もしもあの量が汚れ難いとすればあの個人企業は一頭当たりである fact12: もし「その血中レベルは強制送還でないかもしくはそれは馬上槍試合であるかもしくは両方だ」ということは間違っていればあの量は汚れ難い fact13: もしこの個人企業が一頭当たりであるし視診するとするとそれは社会的制裁でない fact14: あの土木は強制送還であるしまたどうしても欲しい fact15: 「その血中レベルは強制送還でないかあるいは馬上槍試合だということはないかあるいは両方ともである」ということは成り立たない fact16: その血中レベルは汚れ難い fact17: 「繋げる」物はある fact18: その血中レベルは馬上槍試合だ ; $hypothesis$ = この管制員は社会的制裁であるがどす黒くない ; $proof$ = 
fact5 & fact15 -> int1: あの量は汚れ難い; int1 & fact11 -> int2: この個人企業は一頭当たりだ; int2 & fact8 -> int3: この個人企業は一頭当たりであるしさらにそれは視診する; int3 & fact13 -> int4: この個人企業は社会的制裁でない; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの個人企業は社会的制裁でないならば「この管制員は社会的制裁であるけどどす黒くない」ということは成り立たない
事実2: もしも「繋げる」ものがあればあの量は繋げるかまたは性支配であるか両方ともだ
事実3: もしあの量が繋げればその血中レベルは繋げる
事実4: この舞踊家は視診する
事実5: 「その血中レベルは強制送還でないかあるいはそれは馬上槍試合だということはない」ということは偽だとしたらあの量は汚れ難い
事実6: 「この管制員は社会的制裁であるしさらにどす黒い」ということは間違いである
事実7: もし仮にその血中レベルが繋げるならそれは汚れ難くないしそれにすばしっこくない
事実8: この個人企業は視診する
事実9: 一頭当たりはどす黒い
事実10: もしもなんらかのものが一頭当たりだということはないならそれは社会的制裁だけどどす黒くない
事実11: もしもあの量が汚れ難いとすればあの個人企業は一頭当たりである
事実12: もし「その血中レベルは強制送還でないかもしくはそれは馬上槍試合であるかもしくは両方だ」ということは間違っていればあの量は汚れ難い
事実13: もしこの個人企業が一頭当たりであるし視診するとするとそれは社会的制裁でない
事実14: あの土木は強制送還であるしまたどうしても欲しい
事実15: 「その血中レベルは強制送還でないかあるいは馬上槍試合だということはないかあるいは両方ともである」ということは成り立たない
事実16: その血中レベルは汚れ難い
事実17: 「繋げる」物はある
事実18: その血中レベルは馬上槍試合だ

仮説: この管制員は社会的制裁であるがどす黒くない
1. 事実5と事実15から、推論1: "あの量は汚れ難い"が導かれる
2. 推論1と事実11から、推論2: "この個人企業は一頭当たりだ"が導かれる
3. 推論2と事実8から、推論3: "この個人企業は一頭当たりであるしさらにそれは視診する"が導かれる
4. 推論3と事実13から、推論4: "この個人企業は社会的制裁でない"が導かれる
5. 推論4と事実1から、仮説が否定される

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