この個別法は愉悦でない
fact1: この個別法はうつらうつらする fact2: もし「「この個別法は掲揚綱でないしさらに生み易くない」ということは事実である」ということは間違いであるとすればそれは愉悦でない fact3: もし仮にこの個別法は掲揚綱だということはない一方で生み易いならば「うつらうつらしない」ということは成り立つ fact4: ある物が掲揚綱でないしおまけにそれが生み易くないとするとうつらうつらするということはない
fact4 -> int1: 「この個別法は掲揚綱でなくて加えて生み易くない」ということは成り立つとするとうつらうつらするということはない; void -> assump1: 以下のように仮定する。この個別法は掲揚綱であるということはなくてしかもそれは生み易くない; int1 & assump1 -> int2: この個別法はうつらうつらしない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この個別法は掲揚綱だということはないし生み易くない」ということは正しくない; int4 & fact2 -> hypothesis;
$facts$ = fact1: この個別法はうつらうつらする fact2: もし「「この個別法は掲揚綱でないしさらに生み易くない」ということは事実である」ということは間違いであるとすればそれは愉悦でない fact3: もし仮にこの個別法は掲揚綱だということはない一方で生み易いならば「うつらうつらしない」ということは成り立つ fact4: ある物が掲揚綱でないしおまけにそれが生み易くないとするとうつらうつらするということはない ; $hypothesis$ = この個別法は愉悦でない ; $proof$ = 
fact4 -> int1: 「この個別法は掲揚綱でなくて加えて生み易くない」ということは成り立つとするとうつらうつらするということはない; void -> assump1: 以下のように仮定する。この個別法は掲揚綱であるということはなくてしかもそれは生み易くない; int1 & assump1 -> int2: この個別法はうつらうつらしない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この個別法は掲揚綱だということはないし生み易くない」ということは正しくない; int4 & fact2 -> hypothesis; __PROVED__
事実1: この個別法はうつらうつらする
事実2: もし「「この個別法は掲揚綱でないしさらに生み易くない」ということは事実である」ということは間違いであるとすればそれは愉悦でない
事実3: もし仮にこの個別法は掲揚綱だということはない一方で生み易いならば「うつらうつらしない」ということは成り立つ
事実4: ある物が掲揚綱でないしおまけにそれが生み易くないとするとうつらうつらするということはない

仮説: この個別法は愉悦でない
1. 事実4から、推論1: "「この個別法は掲揚綱でなくて加えて生み易くない」ということは成り立つとするとうつらうつらするということはない"が導かれる
2. 仮定1: 以下のように仮定する。この個別法は掲揚綱であるということはなくてしかもそれは生み易くない
3. 推論1と仮定1から、推論2: "この個別法はうつらうつらしない"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この個別法は掲揚綱だということはないし生み易くない」ということは正しくない"が導かれる
6. 推論4と事実2から、仮説が導かれる

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