あのＣＶＳは花王でない
fact1: もし花王は鍛冶であるということはないとすると齎さない fact2: 「仲睦まじい」ものはある fact3: 仮にあの生徒間は悩ましいなら「その記号列は傾きでないけど鍛冶だ」ということは成り立たない fact4: もし仮にこのカラーパネルが齎すとすれば鍛冶である fact5: その一高は齎す fact6: 何らかの物は仲睦まじくない fact7: あの生徒間は悩ましい fact8: その所与は繁殖し易くない fact9: このカラーパネルは齎す fact10: もしもこのカラーパネルが繁殖し易いとすれば肯定す fact11: もしこのカラーパネルは親しいなら「それは悩ましいということはないかまたは傾きでないかまたはどちらもだ」ということは本当だ fact12: このカラーパネルが悩ましくないならあのチャージャーは花王だがしかし鍛冶でない fact13: もしも何らかの物が仲睦まじくないとすると繁殖し易くて物珍しい fact14: 仮にその所与が鍛冶でないとするとあのＣＶＳは花王であるということはない fact15: もしも「その記号列は傾きでないけど鍛冶である」ということは成り立たないとすると「あの情報規制は鍛冶だ」ということは成り立つ fact16: もしもあの情報規制が鍛冶だとすればその所与は齎すがしかし肯定すらない fact17: もしこのカラーパネルが縁遠くないならそれは繁殖し易い fact18: 仮に「肯定すし齎す」物があるとすればあの所与は鍛冶でない fact19: もしあの正定業が仲睦まじくないならばそれは製造リードタイムだ fact20: このカラーパネルは鍛冶である fact21: 「肯定す」ものはある fact22: もしも何かは肯定すし鍛冶だとしたらその所与は繁殖し易くない fact23: このカラーパネルは親しい fact24: 仮に「仲睦まじくない」物があるとすればこのカラーパネルは縁遠くない fact25: もし仮にこのカラーパネルが悩ましくないかまたは傾きでないとすると悩ましくない
fact6 & fact24 -> int1: このカラーパネルは縁遠くない; int1 & fact17 -> int2: このカラーパネルは繁殖し易い; int2 & fact10 -> int3: このカラーパネルは肯定す; int3 & fact9 -> int4: このカラーパネルは肯定すしその上齎す; int4 -> int5: 「肯定すし加えて齎す」ものはある; int5 & fact18 -> int6: その所与は鍛冶でない; int6 & fact14 -> hypothesis;
あのＣＶＳは花王である
fact26 & fact28 -> int7: 「その記号列は傾きでない一方で鍛冶である」ということは間違いである; fact29 & int7 -> int8: あの情報規制は鍛冶だ; fact27 & int8 -> int9: その所与は齎すけれどそれは肯定すということはない; int9 -> int10: その所与は肯定すらない; int10 -> int11: 「肯定すらない」物はある;
$facts$ = fact1: もし花王は鍛冶であるということはないとすると齎さない fact2: 「仲睦まじい」ものはある fact3: 仮にあの生徒間は悩ましいなら「その記号列は傾きでないけど鍛冶だ」ということは成り立たない fact4: もし仮にこのカラーパネルが齎すとすれば鍛冶である fact5: その一高は齎す fact6: 何らかの物は仲睦まじくない fact7: あの生徒間は悩ましい fact8: その所与は繁殖し易くない fact9: このカラーパネルは齎す fact10: もしもこのカラーパネルが繁殖し易いとすれば肯定す fact11: もしこのカラーパネルは親しいなら「それは悩ましいということはないかまたは傾きでないかまたはどちらもだ」ということは本当だ fact12: このカラーパネルが悩ましくないならあのチャージャーは花王だがしかし鍛冶でない fact13: もしも何らかの物が仲睦まじくないとすると繁殖し易くて物珍しい fact14: 仮にその所与が鍛冶でないとするとあのＣＶＳは花王であるということはない fact15: もしも「その記号列は傾きでないけど鍛冶である」ということは成り立たないとすると「あの情報規制は鍛冶だ」ということは成り立つ fact16: もしもあの情報規制が鍛冶だとすればその所与は齎すがしかし肯定すらない fact17: もしこのカラーパネルが縁遠くないならそれは繁殖し易い fact18: 仮に「肯定すし齎す」物があるとすればあの所与は鍛冶でない fact19: もしあの正定業が仲睦まじくないならばそれは製造リードタイムだ fact20: このカラーパネルは鍛冶である fact21: 「肯定す」ものはある fact22: もしも何かは肯定すし鍛冶だとしたらその所与は繁殖し易くない fact23: このカラーパネルは親しい fact24: 仮に「仲睦まじくない」物があるとすればこのカラーパネルは縁遠くない fact25: もし仮にこのカラーパネルが悩ましくないかまたは傾きでないとすると悩ましくない ; $hypothesis$ = あのＣＶＳは花王でない ; $proof$ = 
fact6 & fact24 -> int1: このカラーパネルは縁遠くない; int1 & fact17 -> int2: このカラーパネルは繁殖し易い; int2 & fact10 -> int3: このカラーパネルは肯定す; int3 & fact9 -> int4: このカラーパネルは肯定すしその上齎す; int4 -> int5: 「肯定すし加えて齎す」ものはある; int5 & fact18 -> int6: その所与は鍛冶でない; int6 & fact14 -> hypothesis; __PROVED__
事実1: もし花王は鍛冶であるということはないとすると齎さない
事実2: 「仲睦まじい」ものはある
事実3: 仮にあの生徒間は悩ましいなら「その記号列は傾きでないけど鍛冶だ」ということは成り立たない
事実4: もし仮にこのカラーパネルが齎すとすれば鍛冶である
事実5: その一高は齎す
事実6: 何らかの物は仲睦まじくない
事実7: あの生徒間は悩ましい
事実8: その所与は繁殖し易くない
事実9: このカラーパネルは齎す
事実10: もしもこのカラーパネルが繁殖し易いとすれば肯定す
事実11: もしこのカラーパネルは親しいなら「それは悩ましいということはないかまたは傾きでないかまたはどちらもだ」ということは本当だ
事実12: このカラーパネルが悩ましくないならあのチャージャーは花王だがしかし鍛冶でない
事実13: もしも何らかの物が仲睦まじくないとすると繁殖し易くて物珍しい
事実14: 仮にその所与が鍛冶でないとするとあのＣＶＳは花王であるということはない
事実15: もしも「その記号列は傾きでないけど鍛冶である」ということは成り立たないとすると「あの情報規制は鍛冶だ」ということは成り立つ
事実16: もしもあの情報規制が鍛冶だとすればその所与は齎すがしかし肯定すらない
事実17: もしこのカラーパネルが縁遠くないならそれは繁殖し易い
事実18: 仮に「肯定すし齎す」物があるとすればあの所与は鍛冶でない
事実19: もしあの正定業が仲睦まじくないならばそれは製造リードタイムだ
事実20: このカラーパネルは鍛冶である
事実21: 「肯定す」ものはある
事実22: もしも何かは肯定すし鍛冶だとしたらその所与は繁殖し易くない
事実23: このカラーパネルは親しい
事実24: 仮に「仲睦まじくない」物があるとすればこのカラーパネルは縁遠くない
事実25: もし仮にこのカラーパネルが悩ましくないかまたは傾きでないとすると悩ましくない

仮説: あのＣＶＳは花王でない
1. 事実6と事実24から、推論1: "このカラーパネルは縁遠くない"が導かれる
2. 推論1と事実17から、推論2: "このカラーパネルは繁殖し易い"が導かれる
3. 推論2と事実10から、推論3: "このカラーパネルは肯定す"が導かれる
4. 推論3と事実9から、推論4: "このカラーパネルは肯定すしその上齎す"が導かれる
5. 推論4から、推論5: "「肯定すし加えて齎す」ものはある"が導かれる
6. 推論5と事実18から、推論6: "その所与は鍛冶でない"が導かれる
7. 推論6と事実14から、仮説が導かれる

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