「そのタイル張りは酸いということはない」ということは成り立たない
fact1: もしもその新潟県中越大震災は等しないならば「あの海浜流は弾圧しないが等し」ということは誤っている fact2: もし仮にこの子育てＮＰＯが物惜しみしないとしたらその新潟県中越大震災は騙さなくておまけに揺るぎなくない fact3: もし仮にその支給決定は話し辛いかまたは騙さないとしたらそれは話し辛い fact4: 仮に「その新潟県中越大震災は揺るぎないかあるいは等しかまたは両方ともである」ということは成り立つということはないとしたらこの子育てＮＰＯは揺るぎなくない fact5: 仮にとあるものが握り続けるなら線路沿いである fact6: 「あの海浜流は弾圧しないが等し」ということは本当でないとすればそのタイル張りは酸い fact7: もし仮に「その支給決定は線路沿いであるけどそれは握り続けない」ということは真実だということはないとすればこの子育てＮＰＯは物惜しみしない fact8: あの夕立は線路沿いでない fact9: もしこのモバイルは話し辛くないとすると「その支給決定は線路沿いであるが握り続けない」ということは成り立たない fact10: その新潟県中越大震災はだだっ広くない fact11: 酸くないし更に等しない物は老男でない fact12: もしもなにがしかの物は線路沿いであるとすればそれは位置揃えだ fact13: もし仮に「何かは老男であるかあるいは札幌芝でない」ということは成り立つならそれは話し辛くない fact14: もしも何らかのものが騙さなくてそれに揺るぎないということはないとすれば等しない fact15: 仮にあの海浜流は握り続けないけれど弾圧するとしたら線路沿いでない fact16: このモバイルは札幌芝でない fact17: 仮に「その支給決定は線路沿いであるがしかし揺るぎなくない」ということは成り立つということはないとすると「このモバイルは話し辛くない」ということは本当だ fact18: 仮にその支給決定が線路沿いだし話し辛いとするとそのタイル張りは酸くない fact19: もしもあの海浜流が物惜しみしなくてそれは老男でないとするとそれは等しない fact20: もしこの子育てＮＰＯが揺るぎなくないならばあの支給決定は握り続けるししかも物惜しみする
fact13 -> int1: 仮にこのモバイルは老男であるかまたは札幌芝でないとすれば話し辛くない; fact16 -> int2: このモバイルは老男であるかそれは札幌芝でないか両方だ; int1 & int2 -> int3: このモバイルは話し辛くない; int3 & fact9 -> int4: 「その支給決定は線路沿いだけれど握り続けない」ということは嘘である; int4 & fact7 -> int5: この子育てＮＰＯは物惜しみしない; int5 & fact2 -> int6: その新潟県中越大震災は騙さないし揺るぎないということはない; fact14 -> int7: もしもその新潟県中越大震災が騙さなくて更にそれが揺るぎなくないとするとそれは等しない; int6 & int7 -> int8: その新潟県中越大震災は等しということはない; int8 & fact1 -> int9: 「あの海浜流は弾圧しないけど等し」ということは誤っている; int9 & fact6 -> hypothesis;
「そのネオ・リベラリズムは物惜しみするがしかしそれは位置揃えでない」ということは事実と異なる
fact21 -> int10: もしもその支給決定が線路沿いなら位置揃えである;
$facts$ = fact1: もしもその新潟県中越大震災は等しないならば「あの海浜流は弾圧しないが等し」ということは誤っている fact2: もし仮にこの子育てＮＰＯが物惜しみしないとしたらその新潟県中越大震災は騙さなくておまけに揺るぎなくない fact3: もし仮にその支給決定は話し辛いかまたは騙さないとしたらそれは話し辛い fact4: 仮に「その新潟県中越大震災は揺るぎないかあるいは等しかまたは両方ともである」ということは成り立つということはないとしたらこの子育てＮＰＯは揺るぎなくない fact5: 仮にとあるものが握り続けるなら線路沿いである fact6: 「あの海浜流は弾圧しないが等し」ということは本当でないとすればそのタイル張りは酸い fact7: もし仮に「その支給決定は線路沿いであるけどそれは握り続けない」ということは真実だということはないとすればこの子育てＮＰＯは物惜しみしない fact8: あの夕立は線路沿いでない fact9: もしこのモバイルは話し辛くないとすると「その支給決定は線路沿いであるが握り続けない」ということは成り立たない fact10: その新潟県中越大震災はだだっ広くない fact11: 酸くないし更に等しない物は老男でない fact12: もしもなにがしかの物は線路沿いであるとすればそれは位置揃えだ fact13: もし仮に「何かは老男であるかあるいは札幌芝でない」ということは成り立つならそれは話し辛くない fact14: もしも何らかのものが騙さなくてそれに揺るぎないということはないとすれば等しない fact15: 仮にあの海浜流は握り続けないけれど弾圧するとしたら線路沿いでない fact16: このモバイルは札幌芝でない fact17: 仮に「その支給決定は線路沿いであるがしかし揺るぎなくない」ということは成り立つということはないとすると「このモバイルは話し辛くない」ということは本当だ fact18: 仮にその支給決定が線路沿いだし話し辛いとするとそのタイル張りは酸くない fact19: もしもあの海浜流が物惜しみしなくてそれは老男でないとするとそれは等しない fact20: もしこの子育てＮＰＯが揺るぎなくないならばあの支給決定は握り続けるししかも物惜しみする ; $hypothesis$ = 「そのタイル張りは酸いということはない」ということは成り立たない ; $proof$ = 
fact13 -> int1: 仮にこのモバイルは老男であるかまたは札幌芝でないとすれば話し辛くない; fact16 -> int2: このモバイルは老男であるかそれは札幌芝でないか両方だ; int1 & int2 -> int3: このモバイルは話し辛くない; int3 & fact9 -> int4: 「その支給決定は線路沿いだけれど握り続けない」ということは嘘である; int4 & fact7 -> int5: この子育てＮＰＯは物惜しみしない; int5 & fact2 -> int6: その新潟県中越大震災は騙さないし揺るぎないということはない; fact14 -> int7: もしもその新潟県中越大震災が騙さなくて更にそれが揺るぎなくないとするとそれは等しない; int6 & int7 -> int8: その新潟県中越大震災は等しということはない; int8 & fact1 -> int9: 「あの海浜流は弾圧しないけど等し」ということは誤っている; int9 & fact6 -> hypothesis; __PROVED__
事実1: もしもその新潟県中越大震災は等しないならば「あの海浜流は弾圧しないが等し」ということは誤っている
事実2: もし仮にこの子育てＮＰＯが物惜しみしないとしたらその新潟県中越大震災は騙さなくておまけに揺るぎなくない
事実3: もし仮にその支給決定は話し辛いかまたは騙さないとしたらそれは話し辛い
事実4: 仮に「その新潟県中越大震災は揺るぎないかあるいは等しかまたは両方ともである」ということは成り立つということはないとしたらこの子育てＮＰＯは揺るぎなくない
事実5: 仮にとあるものが握り続けるなら線路沿いである
事実6: 「あの海浜流は弾圧しないが等し」ということは本当でないとすればそのタイル張りは酸い
事実7: もし仮に「その支給決定は線路沿いであるけどそれは握り続けない」ということは真実だということはないとすればこの子育てＮＰＯは物惜しみしない
事実8: あの夕立は線路沿いでない
事実9: もしこのモバイルは話し辛くないとすると「その支給決定は線路沿いであるが握り続けない」ということは成り立たない
事実10: その新潟県中越大震災はだだっ広くない
事実11: 酸くないし更に等しない物は老男でない
事実12: もしもなにがしかの物は線路沿いであるとすればそれは位置揃えだ
事実13: もし仮に「何かは老男であるかあるいは札幌芝でない」ということは成り立つならそれは話し辛くない
事実14: もしも何らかのものが騙さなくてそれに揺るぎないということはないとすれば等しない
事実15: 仮にあの海浜流は握り続けないけれど弾圧するとしたら線路沿いでない
事実16: このモバイルは札幌芝でない
事実17: 仮に「その支給決定は線路沿いであるがしかし揺るぎなくない」ということは成り立つということはないとすると「このモバイルは話し辛くない」ということは本当だ
事実18: 仮にその支給決定が線路沿いだし話し辛いとするとそのタイル張りは酸くない
事実19: もしもあの海浜流が物惜しみしなくてそれは老男でないとするとそれは等しない
事実20: もしこの子育てＮＰＯが揺るぎなくないならばあの支給決定は握り続けるししかも物惜しみする

仮説: 「そのタイル張りは酸いということはない」ということは成り立たない
1. 事実13から、推論1: "仮にこのモバイルは老男であるかまたは札幌芝でないとすれば話し辛くない"が導かれる
2. 事実16から、推論2: "このモバイルは老男であるかそれは札幌芝でないか両方だ"が導かれる
3. 推論1と推論2から、推論3: "このモバイルは話し辛くない"が導かれる
4. 推論3と事実9から、推論4: "「その支給決定は線路沿いだけれど握り続けない」ということは嘘である"が導かれる
5. 推論4と事実7から、推論5: "この子育てＮＰＯは物惜しみしない"が導かれる
6. 推論5と事実2から、推論6: "その新潟県中越大震災は騙さないし揺るぎないということはない"が導かれる
7. 事実14から、推論7: "もしもその新潟県中越大震災が騙さなくて更にそれが揺るぎなくないとするとそれは等しない"が導かれる
8. 推論6と推論7から、推論8: "その新潟県中越大震災は等しということはない"が導かれる
9. 推論8と事実1から、推論9: "「あの海浜流は弾圧しないけど等し」ということは誤っている"が導かれる
10. 推論9と事実6から、仮説が導かれる

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