もしもあの七番人気が賢しいということはないとしたらあの企業経営者は扶養家族でないかあるいは狭しかもしくは両方ともである
fact1: もし仮にあの人界が一考であるならあの企業経営者は高位高官だということはないかあるいはそれは狭しかあるいはどちらもだ fact2: もしあの人界が就業出来ればその譲渡制限は秘す fact3: もし仮に「あの人界は一考である」ということは真実だとするとそれは就業出来る fact4: 「あの人界は一考でないしさらに高位高官でない」ということは成り立たないならば「それは就業出来る」ということは本当である fact5: もしもあの七番人気が賢しくないならあのペーパーナイフは同一国でない fact6: その譲渡制限が秘すとするとあの企業経営者は扶養家族でないか狭しかもしくは両方だ fact7: もしあのペーパーナイフは同一国であるということはないなら「あの人界は一考であるということはないし高位高官でない」ということは事実と異なる
void -> assump1: 以下のように仮定する。「あの七番人気は賢しくない」ということは確かだ; fact5 & assump1 -> int1: あのペーパーナイフは同一国でない; int1 & fact7 -> int2: 「あの人界は一考でないし加えて高位高官でない」ということは間違いだ; int2 & fact4 -> int3: あの人界は就業出来る; int3 & fact2 -> int4: その譲渡制限は秘す; int4 & fact6 -> int5: あの企業経営者は扶養家族でないか狭しかあるいは両方である; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし仮にあの人界が一考であるならあの企業経営者は高位高官だということはないかあるいはそれは狭しかあるいはどちらもだ fact2: もしあの人界が就業出来ればその譲渡制限は秘す fact3: もし仮に「あの人界は一考である」ということは真実だとするとそれは就業出来る fact4: 「あの人界は一考でないしさらに高位高官でない」ということは成り立たないならば「それは就業出来る」ということは本当である fact5: もしもあの七番人気が賢しくないならあのペーパーナイフは同一国でない fact6: その譲渡制限が秘すとするとあの企業経営者は扶養家族でないか狭しかもしくは両方だ fact7: もしあのペーパーナイフは同一国であるということはないなら「あの人界は一考であるということはないし高位高官でない」ということは事実と異なる ; $hypothesis$ = もしもあの七番人気が賢しいということはないとしたらあの企業経営者は扶養家族でないかあるいは狭しかもしくは両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの七番人気は賢しくない」ということは確かだ; fact5 & assump1 -> int1: あのペーパーナイフは同一国でない; int1 & fact7 -> int2: 「あの人界は一考でないし加えて高位高官でない」ということは間違いだ; int2 & fact4 -> int3: あの人界は就業出来る; int3 & fact2 -> int4: その譲渡制限は秘す; int4 & fact6 -> int5: あの企業経営者は扶養家族でないか狭しかあるいは両方である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮にあの人界が一考であるならあの企業経営者は高位高官だということはないかあるいはそれは狭しかあるいはどちらもだ
事実2: もしあの人界が就業出来ればその譲渡制限は秘す
事実3: もし仮に「あの人界は一考である」ということは真実だとするとそれは就業出来る
事実4: 「あの人界は一考でないしさらに高位高官でない」ということは成り立たないならば「それは就業出来る」ということは本当である
事実5: もしもあの七番人気が賢しくないならあのペーパーナイフは同一国でない
事実6: その譲渡制限が秘すとするとあの企業経営者は扶養家族でないか狭しかもしくは両方だ
事実7: もしあのペーパーナイフは同一国であるということはないなら「あの人界は一考であるということはないし高位高官でない」ということは事実と異なる

仮説: もしもあの七番人気が賢しいということはないとしたらあの企業経営者は扶養家族でないかあるいは狭しかもしくは両方ともである
1. 仮定1: 以下のように仮定する。「あの七番人気は賢しくない」ということは確かだ
2. 事実5と仮定1から、推論1: "あのペーパーナイフは同一国でない"が導かれる
3. 推論1と事実7から、推論2: "「あの人界は一考でないし加えて高位高官でない」ということは間違いだ"が導かれる
4. 推論2と事実4から、推論3: "あの人界は就業出来る"が導かれる
5. 推論3と事実2から、推論4: "その譲渡制限は秘す"が導かれる
6. 推論4と事実6から、推論5: "あの企業経営者は扶養家族でないか狭しかあるいは両方である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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