「「あの表Ｄ．Ｂは同輩であるけど醜くない」ということは成り立つ」ということは成り立たない
fact1: あの深度計は付け易い fact2: 仮にあの表Ｄ．Ｂが座骨でないとすればこの来日ラッシュは同輩だがしかし座骨でない fact3: 「もしあの深度計が付け易いとしたらこの来日ラッシュは座骨だ」ということは真実だ fact4: 「この実施日は付け易い」ということは成り立つ fact5: もし仮にこの来日ラッシュが立て難いということはないとすればそれは同輩であるかもしくは引き離さないか両方ともである fact6: もしもこの実施日が醜くないとしたらあの表Ｄ．Ｂは同輩である一方で醜くない fact7: あの表Ｄ．Ｂは醜くない fact8: もしもなんらかの物は座骨でないとしたら「ＳＢＳ‐ＨＰであるしそれは付け易い」ということは成り立たない fact9: もしあの表Ｄ．Ｂが醜いならそれは付け易くない fact10: もしなにかは同輩であるかまたはそれは引き離さないかあるいは両方ともであるとすればそれは同輩だ fact11: 仮にとある物は同輩ならば「それは膜蛋白だということはなくて話し辛くない」ということは偽である fact12: あの表Ｄ．Ｂは同輩であるかそれは座骨であるかあるいは両方だ fact13: もしも「あの深度計はＳＢＳ‐ＨＰであるし付け易い」ということは嘘であるなら付け易くない fact14: もし仮にこの実施日がＳＢＳ‐ＨＰであるかそれは膜蛋白であるとしたら醜くない fact15: この来日ラッシュが座骨であるとすればこの実施日はＳＢＳ‐ＨＰだ fact16: 仮に「この来日ラッシュは膜蛋白でなくてかつ話し辛くない」ということは成り立たないとするとあの深度計は座骨でない
fact3 & fact1 -> int1: この来日ラッシュは座骨だ; int1 & fact15 -> int2: 「この実施日はＳＢＳ‐ＨＰである」ということは成り立つ; int2 -> int3: この実施日はＳＢＳ‐ＨＰであるか膜蛋白だ; int3 & fact14 -> int4: この実施日は醜くない; int4 & fact6 -> hypothesis;
「その総議決権は醜い」ということは本当だ
fact20 -> int5: もし「あの深度計は座骨でない」ということは真実であるとすれば「ＳＢＳ‐ＨＰだし付け易い」ということは間違いである; fact22 -> int6: もしこの来日ラッシュは同輩だとしたら「「それは膜蛋白でなくてかつ話し辛くない」ということは真実である」ということは成り立たない; fact19 -> int7: もしも「この来日ラッシュは同輩であるかまたは引き離さないかまたは両方である」ということは事実であるとすればそれは同輩である;
$facts$ = fact1: あの深度計は付け易い fact2: 仮にあの表Ｄ．Ｂが座骨でないとすればこの来日ラッシュは同輩だがしかし座骨でない fact3: 「もしあの深度計が付け易いとしたらこの来日ラッシュは座骨だ」ということは真実だ fact4: 「この実施日は付け易い」ということは成り立つ fact5: もし仮にこの来日ラッシュが立て難いということはないとすればそれは同輩であるかもしくは引き離さないか両方ともである fact6: もしもこの実施日が醜くないとしたらあの表Ｄ．Ｂは同輩である一方で醜くない fact7: あの表Ｄ．Ｂは醜くない fact8: もしもなんらかの物は座骨でないとしたら「ＳＢＳ‐ＨＰであるしそれは付け易い」ということは成り立たない fact9: もしあの表Ｄ．Ｂが醜いならそれは付け易くない fact10: もしなにかは同輩であるかまたはそれは引き離さないかあるいは両方ともであるとすればそれは同輩だ fact11: 仮にとある物は同輩ならば「それは膜蛋白だということはなくて話し辛くない」ということは偽である fact12: あの表Ｄ．Ｂは同輩であるかそれは座骨であるかあるいは両方だ fact13: もしも「あの深度計はＳＢＳ‐ＨＰであるし付け易い」ということは嘘であるなら付け易くない fact14: もし仮にこの実施日がＳＢＳ‐ＨＰであるかそれは膜蛋白であるとしたら醜くない fact15: この来日ラッシュが座骨であるとすればこの実施日はＳＢＳ‐ＨＰだ fact16: 仮に「この来日ラッシュは膜蛋白でなくてかつ話し辛くない」ということは成り立たないとするとあの深度計は座骨でない ; $hypothesis$ = 「「あの表Ｄ．Ｂは同輩であるけど醜くない」ということは成り立つ」ということは成り立たない ; $proof$ = 
fact3 & fact1 -> int1: この来日ラッシュは座骨だ; int1 & fact15 -> int2: 「この実施日はＳＢＳ‐ＨＰである」ということは成り立つ; int2 -> int3: この実施日はＳＢＳ‐ＨＰであるか膜蛋白だ; int3 & fact14 -> int4: この実施日は醜くない; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: あの深度計は付け易い
事実2: 仮にあの表Ｄ．Ｂが座骨でないとすればこの来日ラッシュは同輩だがしかし座骨でない
事実3: 「もしあの深度計が付け易いとしたらこの来日ラッシュは座骨だ」ということは真実だ
事実4: 「この実施日は付け易い」ということは成り立つ
事実5: もし仮にこの来日ラッシュが立て難いということはないとすればそれは同輩であるかもしくは引き離さないか両方ともである
事実6: もしもこの実施日が醜くないとしたらあの表Ｄ．Ｂは同輩である一方で醜くない
事実7: あの表Ｄ．Ｂは醜くない
事実8: もしもなんらかの物は座骨でないとしたら「ＳＢＳ‐ＨＰであるしそれは付け易い」ということは成り立たない
事実9: もしあの表Ｄ．Ｂが醜いならそれは付け易くない
事実10: もしなにかは同輩であるかまたはそれは引き離さないかあるいは両方ともであるとすればそれは同輩だ
事実11: 仮にとある物は同輩ならば「それは膜蛋白だということはなくて話し辛くない」ということは偽である
事実12: あの表Ｄ．Ｂは同輩であるかそれは座骨であるかあるいは両方だ
事実13: もしも「あの深度計はＳＢＳ‐ＨＰであるし付け易い」ということは嘘であるなら付け易くない
事実14: もし仮にこの実施日がＳＢＳ‐ＨＰであるかそれは膜蛋白であるとしたら醜くない
事実15: この来日ラッシュが座骨であるとすればこの実施日はＳＢＳ‐ＨＰだ
事実16: 仮に「この来日ラッシュは膜蛋白でなくてかつ話し辛くない」ということは成り立たないとするとあの深度計は座骨でない

仮説: 「「あの表Ｄ．Ｂは同輩であるけど醜くない」ということは成り立つ」ということは成り立たない
1. 事実3と事実1から、推論1: "この来日ラッシュは座骨だ"が導かれる
2. 推論1と事実15から、推論2: "「この実施日はＳＢＳ‐ＨＰである」ということは成り立つ"が導かれる
3. 推論2から、推論3: "この実施日はＳＢＳ‐ＨＰであるか膜蛋白だ"が導かれる
4. 推論3と事実14から、推論4: "この実施日は醜くない"が導かれる
5. 推論4と事実6から、仮説が否定される

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