この共犯はどうしても欲しいしさらに分かち難い
fact1: もしもあの上端部がちょろいとするとこの共犯はどうしても欲しい fact2: 仮に何らかのものはちょろくないとすると「それはどうしても欲しくて分かち難い」ということは偽だ fact3: この共犯は分かち難い fact4: あの上端部はちょろいしさらに切り難い
fact4 -> int1: 「あの上端部はちょろい」ということは成り立つ; int1 & fact1 -> int2: この共犯はどうしても欲しい; int2 & fact3 -> hypothesis;
「この共犯はどうしても欲しくてそれは分かち難い」ということは確かでない
fact5 -> int3: 仮に「この共犯はちょろいということはない」ということは成り立てば「それはどうしても欲しいし分かち難い」ということは確かでない;
$facts$ = fact1: もしもあの上端部がちょろいとするとこの共犯はどうしても欲しい fact2: 仮に何らかのものはちょろくないとすると「それはどうしても欲しくて分かち難い」ということは偽だ fact3: この共犯は分かち難い fact4: あの上端部はちょろいしさらに切り難い ; $hypothesis$ = この共犯はどうしても欲しいしさらに分かち難い ; $proof$ = 
fact4 -> int1: 「あの上端部はちょろい」ということは成り立つ; int1 & fact1 -> int2: この共犯はどうしても欲しい; int2 & fact3 -> hypothesis; __PROVED__
事実1: もしもあの上端部がちょろいとするとこの共犯はどうしても欲しい
事実2: 仮に何らかのものはちょろくないとすると「それはどうしても欲しくて分かち難い」ということは偽だ
事実3: この共犯は分かち難い
事実4: あの上端部はちょろいしさらに切り難い

仮説: この共犯はどうしても欲しいしさらに分かち難い
1. 事実4から、推論1: "「あの上端部はちょろい」ということは成り立つ"が導かれる
2. 推論1と事実1から、推論2: "この共犯はどうしても欲しい"が導かれる
3. 推論2と事実3から、仮説が導かれる

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