「もし暗くないなら尽くし難いということはなくてしかも愛憎半ばしない」物はある
fact1: もし仮になんらかのものは愛憎半ばすれば「暗い」ということは事実である fact2: もし仮に「なにがしかのものは尽くし難いがしかし愛憎半ばしない」ということは成り立たないならそれは暗い fact3: もし「何かは尽くし難いということはないしその上愛憎半ばしない」ということは間違いであるとするとそれは暗い fact4: あの普遍的理性は愛憎半ばしない fact5: もしあの普遍的理性が尽くし難くないしまたそれが愛憎半ばするということはないとすればそれは暗い
fact3 -> int1: もしも「あの普遍的理性は尽くし難くないしそれに愛憎半ばしない」ということは成り立たないとすると暗い; void -> assump2: 以下のように仮定する。「あの普遍的理性は尽くし難くないし加えて愛憎半ばしない」ということは成り立たない; int1 & assump2 -> int2: あの普遍的理性は暗い; void -> assump1: 以下のように仮定する。あの普遍的理性は暗いということはない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの普遍的理性は尽くし難くないし加えて愛憎半ばしない; [assump1] & int4 -> int5: もし仮に「あの普遍的理性は暗くない」ということは成り立つならそれは尽くし難くないししかも愛憎半ばしない; int5 -> hypothesis;
$facts$ = fact1: もし仮になんらかのものは愛憎半ばすれば「暗い」ということは事実である fact2: もし仮に「なにがしかのものは尽くし難いがしかし愛憎半ばしない」ということは成り立たないならそれは暗い fact3: もし「何かは尽くし難いということはないしその上愛憎半ばしない」ということは間違いであるとするとそれは暗い fact4: あの普遍的理性は愛憎半ばしない fact5: もしあの普遍的理性が尽くし難くないしまたそれが愛憎半ばするということはないとすればそれは暗い ; $hypothesis$ = 「もし暗くないなら尽くし難いということはなくてしかも愛憎半ばしない」物はある ; $proof$ = 
fact3 -> int1: もしも「あの普遍的理性は尽くし難くないしそれに愛憎半ばしない」ということは成り立たないとすると暗い; void -> assump2: 以下のように仮定する。「あの普遍的理性は尽くし難くないし加えて愛憎半ばしない」ということは成り立たない; int1 & assump2 -> int2: あの普遍的理性は暗い; void -> assump1: 以下のように仮定する。あの普遍的理性は暗いということはない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの普遍的理性は尽くし難くないし加えて愛憎半ばしない; [assump1] & int4 -> int5: もし仮に「あの普遍的理性は暗くない」ということは成り立つならそれは尽くし難くないししかも愛憎半ばしない; int5 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものは愛憎半ばすれば「暗い」ということは事実である
事実2: もし仮に「なにがしかのものは尽くし難いがしかし愛憎半ばしない」ということは成り立たないならそれは暗い
事実3: もし「何かは尽くし難いということはないしその上愛憎半ばしない」ということは間違いであるとするとそれは暗い
事実4: あの普遍的理性は愛憎半ばしない
事実5: もしあの普遍的理性が尽くし難くないしまたそれが愛憎半ばするということはないとすればそれは暗い

仮説: 「もし暗くないなら尽くし難いということはなくてしかも愛憎半ばしない」物はある
1. 事実3から、推論1: "もしも「あの普遍的理性は尽くし難くないしそれに愛憎半ばしない」ということは成り立たないとすると暗い"が導かれる
2. 仮定2: 以下のように仮定する。「あの普遍的理性は尽くし難くないし加えて愛憎半ばしない」ということは成り立たない
3. 推論1と仮定2から、推論2: "あの普遍的理性は暗い"が導かれる
4. 仮定1: 以下のように仮定する。あの普遍的理性は暗いということはない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "あの普遍的理性は尽くし難くないし加えて愛憎半ばしない"が導かれる
7. [仮定1]と推論4から、推論5: "もし仮に「あの普遍的理性は暗くない」ということは成り立つならそれは尽くし難くないししかも愛憎半ばしない"が導かれる
8. 推論5から、仮説が導かれる

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