「あの権利関係は汚れ難くなくて更に結わえ付けない」ということは成り立たない
fact1: もしもその類似商品は汚れ難いとすると「あの権利関係は汚れ難いが結わえ付けない」ということは偽である fact2: 何らかのものは白癬菌だししかも君らしい fact3: もし仮に「白癬菌であるけれど君らしくない」ものがあるとするとその類似商品は汚れ難い fact4: もし君らしいものが続き易くないとしたらあの権利関係はレジスト層だ fact5: もしもなんらかのものは白癬菌でないとするとそれは汚れ難くない fact6: あの権利関係が君らしくないかもしくは汚れ難くないかまたは両方ならばあの類似商品は君らしいということはない fact7: 「あの権利関係は汚れ難いけどそれは結わえ付けない」ということは成り立たない fact8: 「「あの権利関係は汚れ難くないがしかし結わえ付ける」ということは成り立つ」ということは間違っている fact9: もしその類似商品は汚れ難いならば「あの権利関係が汚れ難くないしさらに結わえ付けない」ということは事実と異なる fact10: もし仮にその類似商品が結わえ付けるとすればその呼び名は結わえ付ける fact11: 「「君らしくない」ということは確かである」ものはある fact12: もしあの権利関係は結わえ付けるとすると「その類似商品は結わえ付けないし汚れ難くない」ということは誤りだ fact13: あの権利関係は君らしい fact14: もし仮に「なんらかのものは白癬菌だ一方で革命的批判でない」ということは成り立たないなら「白癬菌でない」ということは正しい fact15: あるものは白癬菌である fact16: 「「現物出資である」ということは成り立つ」物はある fact17: 君らしくない白癬菌はある fact18: もしその類似商品は汚れ難いとすると「あの権利関係は汚れ難いということはないけど結わえ付ける」ということは誤りである fact19: もしもなにかは結わえ付けないかあるいはそれは現物出資であるかあるいは両方だとすれば結わえ付けない
fact17 & fact3 -> int1: その類似商品は汚れ難い; int1 & fact9 -> hypothesis;
fact17 & fact3 -> int1: {C}{a}; int1 & fact9 -> hypothesis;
あの権利関係は汚れ難くなくて結わえ付けない
fact20 -> int2: あの権利関係は白癬菌でないとしたら汚れ難くない; fact22 -> int3: 仮に「あの権利関係は白癬菌だがしかし革命的批判でない」ということは成り立たないとすれば白癬菌でない; fact21 -> int4: もしあの権利関係が結わえ付けないかもしくはそれが現物出資ならば結わえ付けない;
$facts$ = fact1: もしもその類似商品は汚れ難いとすると「あの権利関係は汚れ難いが結わえ付けない」ということは偽である fact2: 何らかのものは白癬菌だししかも君らしい fact3: もし仮に「白癬菌であるけれど君らしくない」ものがあるとするとその類似商品は汚れ難い fact4: もし君らしいものが続き易くないとしたらあの権利関係はレジスト層だ fact5: もしもなんらかのものは白癬菌でないとするとそれは汚れ難くない fact6: あの権利関係が君らしくないかもしくは汚れ難くないかまたは両方ならばあの類似商品は君らしいということはない fact7: 「あの権利関係は汚れ難いけどそれは結わえ付けない」ということは成り立たない fact8: 「「あの権利関係は汚れ難くないがしかし結わえ付ける」ということは成り立つ」ということは間違っている fact9: もしその類似商品は汚れ難いならば「あの権利関係が汚れ難くないしさらに結わえ付けない」ということは事実と異なる fact10: もし仮にその類似商品が結わえ付けるとすればその呼び名は結わえ付ける fact11: 「「君らしくない」ということは確かである」ものはある fact12: もしあの権利関係は結わえ付けるとすると「その類似商品は結わえ付けないし汚れ難くない」ということは誤りだ fact13: あの権利関係は君らしい fact14: もし仮に「なんらかのものは白癬菌だ一方で革命的批判でない」ということは成り立たないなら「白癬菌でない」ということは正しい fact15: あるものは白癬菌である fact16: 「「現物出資である」ということは成り立つ」物はある fact17: 君らしくない白癬菌はある fact18: もしその類似商品は汚れ難いとすると「あの権利関係は汚れ難いということはないけど結わえ付ける」ということは誤りである fact19: もしもなにかは結わえ付けないかあるいはそれは現物出資であるかあるいは両方だとすれば結わえ付けない ; $hypothesis$ = 「あの権利関係は汚れ難くなくて更に結わえ付けない」ということは成り立たない ; $proof$ = 
fact17 & fact3 -> int1: その類似商品は汚れ難い; int1 & fact9 -> hypothesis; __PROVED__
事実1: もしもその類似商品は汚れ難いとすると「あの権利関係は汚れ難いが結わえ付けない」ということは偽である
事実2: 何らかのものは白癬菌だししかも君らしい
事実3: もし仮に「白癬菌であるけれど君らしくない」ものがあるとするとその類似商品は汚れ難い
事実4: もし君らしいものが続き易くないとしたらあの権利関係はレジスト層だ
事実5: もしもなんらかのものは白癬菌でないとするとそれは汚れ難くない
事実6: あの権利関係が君らしくないかもしくは汚れ難くないかまたは両方ならばあの類似商品は君らしいということはない
事実7: 「あの権利関係は汚れ難いけどそれは結わえ付けない」ということは成り立たない
事実8: 「「あの権利関係は汚れ難くないがしかし結わえ付ける」ということは成り立つ」ということは間違っている
事実9: もしその類似商品は汚れ難いならば「あの権利関係が汚れ難くないしさらに結わえ付けない」ということは事実と異なる
事実10: もし仮にその類似商品が結わえ付けるとすればその呼び名は結わえ付ける
事実11: 「「君らしくない」ということは確かである」ものはある
事実12: もしあの権利関係は結わえ付けるとすると「その類似商品は結わえ付けないし汚れ難くない」ということは誤りだ
事実13: あの権利関係は君らしい
事実14: もし仮に「なんらかのものは白癬菌だ一方で革命的批判でない」ということは成り立たないなら「白癬菌でない」ということは正しい
事実15: あるものは白癬菌である
事実16: 「「現物出資である」ということは成り立つ」物はある
事実17: 君らしくない白癬菌はある
事実18: もしその類似商品は汚れ難いとすると「あの権利関係は汚れ難いということはないけど結わえ付ける」ということは誤りである
事実19: もしもなにかは結わえ付けないかあるいはそれは現物出資であるかあるいは両方だとすれば結わえ付けない

仮説: 「あの権利関係は汚れ難くなくて更に結わえ付けない」ということは成り立たない
1. 事実17と事実3から、推論1: "その類似商品は汚れ難い"が導かれる
2. 推論1と事実9から、仮説が導かれる

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