この民間主導は革製でない
fact1: もしあのコンドーム使用が‐ＮＨならば大小切である fact2: 「あのコンドーム使用は誇りっぽい」ということは成り立つとすると堆い fact3: もしもこの人口全体が誇りっぽいとするとあのコンドーム使用は堆い fact4: もしも何らかの物がファースト・ネームであるかあるいはそれは‐ＮＨでないかもしくはどちらもであるとするとそれはファースト・ネームである fact5: あのコンドーム使用は‐ＮＨである fact6: この人口全体はファースト・ネームであるとすれば「あのコンドーム使用は堆い」ということは真実だ fact7: もし仮にあのコンドーム使用が大小切だしそれが堆いならこの民間主導は革製でない fact8: この人口全体は誇りっぽいかまたはファースト・ネームであるか両方だ
fact1 & fact5 -> int1: あのコンドーム使用は大小切だ; fact8 & fact6 & fact3 -> int2: あのコンドーム使用は堆い; int1 & int2 -> int3: あのコンドーム使用は大小切であるしその上堆い; int3 & fact7 -> hypothesis;
あのコンドーム使用はファースト・ネームだ
fact9 -> int4: 仮にあのコンドーム使用がファースト・ネームであるか‐ＮＨでないとしたらファースト・ネームだ;
$facts$ = fact1: もしあのコンドーム使用が‐ＮＨならば大小切である fact2: 「あのコンドーム使用は誇りっぽい」ということは成り立つとすると堆い fact3: もしもこの人口全体が誇りっぽいとするとあのコンドーム使用は堆い fact4: もしも何らかの物がファースト・ネームであるかあるいはそれは‐ＮＨでないかもしくはどちらもであるとするとそれはファースト・ネームである fact5: あのコンドーム使用は‐ＮＨである fact6: この人口全体はファースト・ネームであるとすれば「あのコンドーム使用は堆い」ということは真実だ fact7: もし仮にあのコンドーム使用が大小切だしそれが堆いならこの民間主導は革製でない fact8: この人口全体は誇りっぽいかまたはファースト・ネームであるか両方だ ; $hypothesis$ = この民間主導は革製でない ; $proof$ = 
fact1 & fact5 -> int1: あのコンドーム使用は大小切だ; fact8 & fact6 & fact3 -> int2: あのコンドーム使用は堆い; int1 & int2 -> int3: あのコンドーム使用は大小切であるしその上堆い; int3 & fact7 -> hypothesis; __PROVED__
事実1: もしあのコンドーム使用が‐ＮＨならば大小切である
事実2: 「あのコンドーム使用は誇りっぽい」ということは成り立つとすると堆い
事実3: もしもこの人口全体が誇りっぽいとするとあのコンドーム使用は堆い
事実4: もしも何らかの物がファースト・ネームであるかあるいはそれは‐ＮＨでないかもしくはどちらもであるとするとそれはファースト・ネームである
事実5: あのコンドーム使用は‐ＮＨである
事実6: この人口全体はファースト・ネームであるとすれば「あのコンドーム使用は堆い」ということは真実だ
事実7: もし仮にあのコンドーム使用が大小切だしそれが堆いならこの民間主導は革製でない
事実8: この人口全体は誇りっぽいかまたはファースト・ネームであるか両方だ

仮説: この民間主導は革製でない
1. 事実1と事実5から、推論1: "あのコンドーム使用は大小切だ"が導かれる
2. 事実8と事実6と事実3から、推論2: "あのコンドーム使用は堆い"が導かれる
3. 推論1と推論2から、推論3: "あのコンドーム使用は大小切であるしその上堆い"が導かれる
4. 推論3と事実7から、仮説が導かれる

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