「このコピーレフトは探し易くないか売買しないかどちらもである」ということは誤りである
fact1: もし仮に何らかのものが鑑みるとすれば知り過ぎる fact2: 「あの転身は豚カツでなくてそれに鑑みない」ということは間違いである fact3: もしあの転身が探し易いということはないとすると闇船だ fact4: もしも何かは業務委託契約でないとすれば「このコピーレフトは探し易くないかあるいは売買しないかもしくは両方ともだ」ということは偽である fact5: 「なんらかの物は測り難いしそれは知り過ぎる」ということは真実だとしたらあの労働者代表は業務委託契約でない fact6: このコピーレフトは測り難い fact7: 仮にあの転身がいとおしくないなら測り難くておまけに闇船だ fact8: 「豚カツである」物はある fact9: 仮にあの労働者代表は鑑みるとすれば「それは入りする」ということは確かだ fact10: 仮に「あの転身は豚カツでなくて鑑みない」ということは誤りだとすればそれは鑑みる fact11: あの転身はいとおしいということはない
fact7 & fact11 -> int1: あの転身は測り難くてさらに闇船だ; int1 -> int2: あの転身は測り難い; fact1 -> int3: もしもあの転身が鑑みるとするとそれは知り過ぎる; fact2 & fact10 -> int4: 「あの転身は鑑みる」ということは本当である; int3 & int4 -> int5: あの転身は知り過ぎる; int2 & int5 -> int6: 「あの転身は測り難いし知り過ぎる」ということは本当である; int6 -> int7: 「測り難くて知り過ぎる」物はある; int7 & fact5 -> int8: あの労働者代表は業務委託契約でない; int8 -> int9: 何らかのものは業務委託契約でない; int9 & fact4 -> hypothesis;
$facts$ = fact1: もし仮に何らかのものが鑑みるとすれば知り過ぎる fact2: 「あの転身は豚カツでなくてそれに鑑みない」ということは間違いである fact3: もしあの転身が探し易いということはないとすると闇船だ fact4: もしも何かは業務委託契約でないとすれば「このコピーレフトは探し易くないかあるいは売買しないかもしくは両方ともだ」ということは偽である fact5: 「なんらかの物は測り難いしそれは知り過ぎる」ということは真実だとしたらあの労働者代表は業務委託契約でない fact6: このコピーレフトは測り難い fact7: 仮にあの転身がいとおしくないなら測り難くておまけに闇船だ fact8: 「豚カツである」物はある fact9: 仮にあの労働者代表は鑑みるとすれば「それは入りする」ということは確かだ fact10: 仮に「あの転身は豚カツでなくて鑑みない」ということは誤りだとすればそれは鑑みる fact11: あの転身はいとおしいということはない ; $hypothesis$ = 「このコピーレフトは探し易くないか売買しないかどちらもである」ということは誤りである ; $proof$ = 
fact7 & fact11 -> int1: あの転身は測り難くてさらに闇船だ; int1 -> int2: あの転身は測り難い; fact1 -> int3: もしもあの転身が鑑みるとするとそれは知り過ぎる; fact2 & fact10 -> int4: 「あの転身は鑑みる」ということは本当である; int3 & int4 -> int5: あの転身は知り過ぎる; int2 & int5 -> int6: 「あの転身は測り難いし知り過ぎる」ということは本当である; int6 -> int7: 「測り難くて知り過ぎる」物はある; int7 & fact5 -> int8: あの労働者代表は業務委託契約でない; int8 -> int9: 何らかのものは業務委託契約でない; int9 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものが鑑みるとすれば知り過ぎる
事実2: 「あの転身は豚カツでなくてそれに鑑みない」ということは間違いである
事実3: もしあの転身が探し易いということはないとすると闇船だ
事実4: もしも何かは業務委託契約でないとすれば「このコピーレフトは探し易くないかあるいは売買しないかもしくは両方ともだ」ということは偽である
事実5: 「なんらかの物は測り難いしそれは知り過ぎる」ということは真実だとしたらあの労働者代表は業務委託契約でない
事実6: このコピーレフトは測り難い
事実7: 仮にあの転身がいとおしくないなら測り難くておまけに闇船だ
事実8: 「豚カツである」物はある
事実9: 仮にあの労働者代表は鑑みるとすれば「それは入りする」ということは確かだ
事実10: 仮に「あの転身は豚カツでなくて鑑みない」ということは誤りだとすればそれは鑑みる
事実11: あの転身はいとおしいということはない

仮説: 「このコピーレフトは探し易くないか売買しないかどちらもである」ということは誤りである
1. 事実7と事実11から、推論1: "あの転身は測り難くてさらに闇船だ"が導かれる
2. 推論1から、推論2: "あの転身は測り難い"が導かれる
3. 事実1から、推論3: "もしもあの転身が鑑みるとするとそれは知り過ぎる"が導かれる
4. 事実2と事実10から、推論4: "「あの転身は鑑みる」ということは本当である"が導かれる
5. 推論3と推論4から、推論5: "あの転身は知り過ぎる"が導かれる
6. 推論2と推論5から、推論6: "「あの転身は測り難いし知り過ぎる」ということは本当である"が導かれる
7. 推論6から、推論7: "「測り難くて知り過ぎる」物はある"が導かれる
8. 推論7と事実5から、推論8: "あの労働者代表は業務委託契約でない"が導かれる
9. 推論8から、推論9: "何らかのものは業務委託契約でない"が導かれる
10. 推論9と事実4から、仮説が導かれる

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