「その透かしデータがパッティングしないしさらに便乗しない」ということは誤りである
fact1: その透かしデータは永久だということはない fact2: もし「何らかの物は降参するかもしくは流され易いかもしくは両方ともだ」ということは成り立つとするとそれは参加型学習でない fact3: あの前進は面白くない fact4: もしあの前進が流され易いとすると参加型学習でない fact5: もし仮にあの前進は参加型学習でないとしたら「その透かしデータはパッティングしなくて便乗しない」ということは間違いである fact6: 仮になんらかのものが参加型学習であるかそれは流され易いかまたはどちらもだとすればパッティングしない fact7: 「その透かしデータはパッティングするけれど便乗しない」ということは成り立たない fact8: もしも「なにがしかの物は繁殖し易いけど面白くない」ということは本当でないならば「面白い」ということは事実と異ならない fact9: もしもあの前進は参加型学習でないとすると「その透かしデータはパッティングしないがしかし便乗する」ということは嘘である fact10: もしあの前進が面白いとしたらその透かしデータはパッティングしないしまたそれは便乗するということはない fact11: もし仮に「あの前進は面白くない」ということは事実であるとすればそれは降参するかそれは流され易いかもしくは両方だ fact12: もし仮にあの前進は参加型学習でないとすれば「その透かしデータはパッティングするがしかし便乗しない」ということは事実と異なる
fact11 & fact3 -> int1: あの前進は降参するか流され易いかもしくはどちらもだ; fact2 -> int2: もし仮にあの前進は降参するかまたは流され易いとしたら参加型学習でない; int1 & int2 -> int3: あの前進は参加型学習だということはない; int3 & fact5 -> hypothesis;
その透かしデータはパッティングしなくてしかもそれは便乗しない
fact14 -> int4: もし仮に「あの前進は繁殖し易いけれど面白くない」ということは間違いなら面白い;
$facts$ = fact1: その透かしデータは永久だということはない fact2: もし「何らかの物は降参するかもしくは流され易いかもしくは両方ともだ」ということは成り立つとするとそれは参加型学習でない fact3: あの前進は面白くない fact4: もしあの前進が流され易いとすると参加型学習でない fact5: もし仮にあの前進は参加型学習でないとしたら「その透かしデータはパッティングしなくて便乗しない」ということは間違いである fact6: 仮になんらかのものが参加型学習であるかそれは流され易いかまたはどちらもだとすればパッティングしない fact7: 「その透かしデータはパッティングするけれど便乗しない」ということは成り立たない fact8: もしも「なにがしかの物は繁殖し易いけど面白くない」ということは本当でないならば「面白い」ということは事実と異ならない fact9: もしもあの前進は参加型学習でないとすると「その透かしデータはパッティングしないがしかし便乗する」ということは嘘である fact10: もしあの前進が面白いとしたらその透かしデータはパッティングしないしまたそれは便乗するということはない fact11: もし仮に「あの前進は面白くない」ということは事実であるとすればそれは降参するかそれは流され易いかもしくは両方だ fact12: もし仮にあの前進は参加型学習でないとすれば「その透かしデータはパッティングするがしかし便乗しない」ということは事実と異なる ; $hypothesis$ = 「その透かしデータがパッティングしないしさらに便乗しない」ということは誤りである ; $proof$ = 
fact11 & fact3 -> int1: あの前進は降参するか流され易いかもしくはどちらもだ; fact2 -> int2: もし仮にあの前進は降参するかまたは流され易いとしたら参加型学習でない; int1 & int2 -> int3: あの前進は参加型学習だということはない; int3 & fact5 -> hypothesis; __PROVED__
事実1: その透かしデータは永久だということはない
事実2: もし「何らかの物は降参するかもしくは流され易いかもしくは両方ともだ」ということは成り立つとするとそれは参加型学習でない
事実3: あの前進は面白くない
事実4: もしあの前進が流され易いとすると参加型学習でない
事実5: もし仮にあの前進は参加型学習でないとしたら「その透かしデータはパッティングしなくて便乗しない」ということは間違いである
事実6: 仮になんらかのものが参加型学習であるかそれは流され易いかまたはどちらもだとすればパッティングしない
事実7: 「その透かしデータはパッティングするけれど便乗しない」ということは成り立たない
事実8: もしも「なにがしかの物は繁殖し易いけど面白くない」ということは本当でないならば「面白い」ということは事実と異ならない
事実9: もしもあの前進は参加型学習でないとすると「その透かしデータはパッティングしないがしかし便乗する」ということは嘘である
事実10: もしあの前進が面白いとしたらその透かしデータはパッティングしないしまたそれは便乗するということはない
事実11: もし仮に「あの前進は面白くない」ということは事実であるとすればそれは降参するかそれは流され易いかもしくは両方だ
事実12: もし仮にあの前進は参加型学習でないとすれば「その透かしデータはパッティングするがしかし便乗しない」ということは事実と異なる

仮説: 「その透かしデータがパッティングしないしさらに便乗しない」ということは誤りである
1. 事実11と事実3から、推論1: "あの前進は降参するか流され易いかもしくはどちらもだ"が導かれる
2. 事実2から、推論2: "もし仮にあの前進は降参するかまたは流され易いとしたら参加型学習でない"が導かれる
3. 推論1と推論2から、推論3: "あの前進は参加型学習だということはない"が導かれる
4. 推論3と事実5から、仮説が導かれる

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