この駐車違反はビール作りでなくてまた取れ難くない
fact1: もし仮にこの駐車違反が立証するかあるいは運動耐容能であるかあるいは両方ならあの洛外は雑居しない fact2: もし仮にこの駐車違反がビール作りだとするとあの洛外は運動耐容能でない fact3: あの洛外は雑居する fact4: もし仮に「この駐車違反はビール作りでなくて取れ難くない」ということは嘘であるとしたら立証する
void -> assump1: 以下のように仮定する。「この駐車違反はビール作りでなくて取れ難くない」ということは成り立たない; fact4 & assump1 -> int1: この駐車違反は立証する; int1 -> int2: この駐車違反は立証するかもしくはそれは運動耐容能だ; int2 & fact1 -> int3: 「あの洛外は雑居しない」ということは間違っていない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もし仮にこの駐車違反が立証するかあるいは運動耐容能であるかあるいは両方ならあの洛外は雑居しない fact2: もし仮にこの駐車違反がビール作りだとするとあの洛外は運動耐容能でない fact3: あの洛外は雑居する fact4: もし仮に「この駐車違反はビール作りでなくて取れ難くない」ということは嘘であるとしたら立証する ; $hypothesis$ = この駐車違反はビール作りでなくてまた取れ難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この駐車違反はビール作りでなくて取れ難くない」ということは成り立たない; fact4 & assump1 -> int1: この駐車違反は立証する; int1 -> int2: この駐車違反は立証するかもしくはそれは運動耐容能だ; int2 & fact1 -> int3: 「あの洛外は雑居しない」ということは間違っていない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの駐車違反が立証するかあるいは運動耐容能であるかあるいは両方ならあの洛外は雑居しない
事実2: もし仮にこの駐車違反がビール作りだとするとあの洛外は運動耐容能でない
事実3: あの洛外は雑居する
事実4: もし仮に「この駐車違反はビール作りでなくて取れ難くない」ということは嘘であるとしたら立証する

仮説: この駐車違反はビール作りでなくてまた取れ難くない
1. 仮定1: 以下のように仮定する。「この駐車違反はビール作りでなくて取れ難くない」ということは成り立たない
2. 事実4と仮定1から、推論1: "この駐車違反は立証する"が導かれる
3. 推論1から、推論2: "この駐車違反は立証するかもしくはそれは運動耐容能だ"が導かれる
4. 推論2と事実1から、推論3: "「あの洛外は雑居しない」ということは間違っていない"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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