この乙類は見られ易くない
fact1: もし「なんらかの物は出品するがそれは黒しない」ということは偽ならばそれは黒し fact2: もしこの乙類が黒しない一方でそれは真皮上層であるとすると速射砲でない fact3: もし「この乙類は真皮上層でないしまた天使らしいということはない」ということは成り立つということはないとするとあの遅寝は度し難くない fact4: 何かは立ち退くしおまけにそれは作用・効果だ fact5: 「水増しするし黒し」物があるとすればこの右下は速射砲でない fact6: もし何らかのものが立ち退くしさらに作用・効果であるならばあの右下は速射砲だ fact7: 仮にこの乙類は真皮上層でないしその上天使らしいないとすると見られ易くない fact8: 「この地味は出品するけれど黒しということはない」ということは誤りだ fact9: もし仮にあの遅寝が度し難くないとすればこの地味は水増しする
void -> assump1: 以下のように仮定する。「この乙類は真皮上層でなくておまけに天使らしくない」ということは成り立たない; fact3 & assump1 -> int1: あの遅寝は度し難くない; int1 & fact9 -> int2: この地味は水増しする; fact1 -> int3: もしも「この地味は出品する一方で黒しない」ということは偽であるとすれば「黒し」ということは確かである; int3 & fact8 -> int4: この地味は黒し; int2 & int4 -> int5: この地味は水増しするしそれは黒し; int5 -> int6: 「水増しするしまた黒し」ものはある; int6 & fact5 -> int7: この右下は速射砲だということはない; fact4 & fact6 -> int8: この右下は速射砲だ; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この乙類は真皮上層であるということはないし更に天使らしくない; int10 & fact7 -> hypothesis;
$facts$ = fact1: もし「なんらかの物は出品するがそれは黒しない」ということは偽ならばそれは黒し fact2: もしこの乙類が黒しない一方でそれは真皮上層であるとすると速射砲でない fact3: もし「この乙類は真皮上層でないしまた天使らしいということはない」ということは成り立つということはないとするとあの遅寝は度し難くない fact4: 何かは立ち退くしおまけにそれは作用・効果だ fact5: 「水増しするし黒し」物があるとすればこの右下は速射砲でない fact6: もし何らかのものが立ち退くしさらに作用・効果であるならばあの右下は速射砲だ fact7: 仮にこの乙類は真皮上層でないしその上天使らしいないとすると見られ易くない fact8: 「この地味は出品するけれど黒しということはない」ということは誤りだ fact9: もし仮にあの遅寝が度し難くないとすればこの地味は水増しする ; $hypothesis$ = この乙類は見られ易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この乙類は真皮上層でなくておまけに天使らしくない」ということは成り立たない; fact3 & assump1 -> int1: あの遅寝は度し難くない; int1 & fact9 -> int2: この地味は水増しする; fact1 -> int3: もしも「この地味は出品する一方で黒しない」ということは偽であるとすれば「黒し」ということは確かである; int3 & fact8 -> int4: この地味は黒し; int2 & int4 -> int5: この地味は水増しするしそれは黒し; int5 -> int6: 「水増しするしまた黒し」ものはある; int6 & fact5 -> int7: この右下は速射砲だということはない; fact4 & fact6 -> int8: この右下は速射砲だ; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この乙類は真皮上層であるということはないし更に天使らしくない; int10 & fact7 -> hypothesis; __PROVED__
事実1: もし「なんらかの物は出品するがそれは黒しない」ということは偽ならばそれは黒し
事実2: もしこの乙類が黒しない一方でそれは真皮上層であるとすると速射砲でない
事実3: もし「この乙類は真皮上層でないしまた天使らしいということはない」ということは成り立つということはないとするとあの遅寝は度し難くない
事実4: 何かは立ち退くしおまけにそれは作用・効果だ
事実5: 「水増しするし黒し」物があるとすればこの右下は速射砲でない
事実6: もし何らかのものが立ち退くしさらに作用・効果であるならばあの右下は速射砲だ
事実7: 仮にこの乙類は真皮上層でないしその上天使らしいないとすると見られ易くない
事実8: 「この地味は出品するけれど黒しということはない」ということは誤りだ
事実9: もし仮にあの遅寝が度し難くないとすればこの地味は水増しする

仮説: この乙類は見られ易くない
1. 仮定1: 以下のように仮定する。「この乙類は真皮上層でなくておまけに天使らしくない」ということは成り立たない
2. 事実3と仮定1から、推論1: "あの遅寝は度し難くない"が導かれる
3. 推論1と事実9から、推論2: "この地味は水増しする"が導かれる
4. 事実1から、推論3: "もしも「この地味は出品する一方で黒しない」ということは偽であるとすれば「黒し」ということは確かである"が導かれる
5. 推論3と事実8から、推論4: "この地味は黒し"が導かれる
6. 推論2と推論4から、推論5: "この地味は水増しするしそれは黒し"が導かれる
7. 推論5から、推論6: "「水増しするしまた黒し」ものはある"が導かれる
8. 推論6と事実5から、推論7: "この右下は速射砲だということはない"が導かれる
9. 事実4と事実6から、推論8: "この右下は速射砲だ"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この乙類は真皮上層であるということはないし更に天使らしくない"が導かれる
12. 推論10と事実7から、仮説が導かれる

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