「配置転換でないとすれば「起伏するが銀メダルでない」ということは嘘である」ものはある
fact1: もしも何らかのものは人恋しくないとすると「生合成するしまた立ち去る」ということは誤っている fact2: もし仮にあの労働者協同組合は銀メダルだということはないとしたら「それは華々しくて加えて姦しい」ということは誤りだ fact3: もし何かは配置転換でないとすれば「起伏するし加えて銀メダルでない」ということは偽である fact4: 「もし「フォローアップするということはない」ということは嘘でないとすれば躍り上がるししかもすごーいということはない」物はある fact5: 「あの労働者協同組合はアンモニア値でない」ということは成り立つとするとそれは起伏するし更に乱切りだということはない fact6: もし仮にあの労働者協同組合は銀メダルだとすると「女性秘書であるしそれにそれはわきゃでない」ということは真実でない
fact3 -> int1: 仮にあの労働者協同組合は配置転換でないとすると「それは起伏するけれど銀メダルでない」ということは間違いだ; int1 -> hypothesis;
$facts$ = fact1: もしも何らかのものは人恋しくないとすると「生合成するしまた立ち去る」ということは誤っている fact2: もし仮にあの労働者協同組合は銀メダルだということはないとしたら「それは華々しくて加えて姦しい」ということは誤りだ fact3: もし何かは配置転換でないとすれば「起伏するし加えて銀メダルでない」ということは偽である fact4: 「もし「フォローアップするということはない」ということは嘘でないとすれば躍り上がるししかもすごーいということはない」物はある fact5: 「あの労働者協同組合はアンモニア値でない」ということは成り立つとするとそれは起伏するし更に乱切りだということはない fact6: もし仮にあの労働者協同組合は銀メダルだとすると「女性秘書であるしそれにそれはわきゃでない」ということは真実でない ; $hypothesis$ = 「配置転換でないとすれば「起伏するが銀メダルでない」ということは嘘である」ものはある ; $proof$ = 
fact3 -> int1: 仮にあの労働者協同組合は配置転換でないとすると「それは起伏するけれど銀メダルでない」ということは間違いだ; int1 -> hypothesis; __PROVED__
事実1: もしも何らかのものは人恋しくないとすると「生合成するしまた立ち去る」ということは誤っている
事実2: もし仮にあの労働者協同組合は銀メダルだということはないとしたら「それは華々しくて加えて姦しい」ということは誤りだ
事実3: もし何かは配置転換でないとすれば「起伏するし加えて銀メダルでない」ということは偽である
事実4: 「もし「フォローアップするということはない」ということは嘘でないとすれば躍り上がるししかもすごーいということはない」物はある
事実5: 「あの労働者協同組合はアンモニア値でない」ということは成り立つとするとそれは起伏するし更に乱切りだということはない
事実6: もし仮にあの労働者協同組合は銀メダルだとすると「女性秘書であるしそれにそれはわきゃでない」ということは真実でない

仮説: 「配置転換でないとすれば「起伏するが銀メダルでない」ということは嘘である」ものはある
1. 事実3から、推論1: "仮にあの労働者協同組合は配置転換でないとすると「それは起伏するけれど銀メダルでない」ということは間違いだ"が導かれる
2. 推論1から、仮説が導かれる

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