この清算対象は固いけれど自家薬籠中でない
fact1: もしこのメレンゲが使い易くないし自己目的化しないとしたらあの脱衣所はちぎれ易くない fact2: もし何らかの物が撥ね飛ばさないとしたら自家薬籠中でない fact3: もし仮に「なんらかの物は二〜三週間後で自家薬籠中だ」ということは誤っているならそれは自己目的化しない fact4: このメレンゲは使い易くない fact5: このアメリカン・ドリームは二〜三週間後だということはないなら「この映画は二〜三週間後であるしさらに撥ね飛ばす」ということは誤りである fact6: もしも「このアメリカン・ドリームは使い易くてさらにそれは二〜三週間後だ」ということは誤りであるとすると「それは自家薬籠中である」ということは間違いである fact7: あの脱衣所がちぎれ易くないとしたらこのアメリカン・ドリームは二〜三週間後でない fact8: もし「この映画は自家薬籠中で撥ね飛ばす」ということは間違いであるならば「固くない」ということは成り立つ fact9: この清算対象は自家薬籠中でない fact10: このメレンゲが二〜三週間後だとしたらその明星はバックスペースキーであるけど固くない fact11: 仮にこの映画が自家薬籠中でないとしたらこの清算対象は自家薬籠中だということはない fact12: このメレンゲは陶冶しない fact13: もし仮に「この映画は撥ね飛ばさない」ということは事実ならば自家薬籠中でない fact14: もしもこの映画が自家薬籠中でないならこの清算対象は固いけど自家薬籠中でない fact15: 「このメレンゲは使い易くなくてそれは自己目的化しない」ということは成り立つ fact16: もし仮に「あるものが二〜三週間後だしそれは撥ね飛ばす」ということは成り立たないとしたら自家薬籠中でない fact17: もし仮にこのメレンゲが使い易いけど自己目的化しないとしたらあの脱衣所はちぎれ易くない
fact1 & fact15 -> int1: あの脱衣所はちぎれ易くない; int1 & fact7 -> int2: このアメリカン・ドリームは二〜三週間後でない; int2 & fact5 -> int3: 「この映画は二〜三週間後でまた撥ね飛ばす」ということは間違いである; fact16 -> int4: もし「この映画が二〜三週間後だし更に撥ね飛ばす」ということは成り立つということはないとすれば自家薬籠中でない; int3 & int4 -> int5: この映画は自家薬籠中でない; int5 & fact14 -> hypothesis;
その明星はバックスペースキーだけど固いということはない
$facts$ = fact1: もしこのメレンゲが使い易くないし自己目的化しないとしたらあの脱衣所はちぎれ易くない fact2: もし何らかの物が撥ね飛ばさないとしたら自家薬籠中でない fact3: もし仮に「なんらかの物は二〜三週間後で自家薬籠中だ」ということは誤っているならそれは自己目的化しない fact4: このメレンゲは使い易くない fact5: このアメリカン・ドリームは二〜三週間後だということはないなら「この映画は二〜三週間後であるしさらに撥ね飛ばす」ということは誤りである fact6: もしも「このアメリカン・ドリームは使い易くてさらにそれは二〜三週間後だ」ということは誤りであるとすると「それは自家薬籠中である」ということは間違いである fact7: あの脱衣所がちぎれ易くないとしたらこのアメリカン・ドリームは二〜三週間後でない fact8: もし「この映画は自家薬籠中で撥ね飛ばす」ということは間違いであるならば「固くない」ということは成り立つ fact9: この清算対象は自家薬籠中でない fact10: このメレンゲが二〜三週間後だとしたらその明星はバックスペースキーであるけど固くない fact11: 仮にこの映画が自家薬籠中でないとしたらこの清算対象は自家薬籠中だということはない fact12: このメレンゲは陶冶しない fact13: もし仮に「この映画は撥ね飛ばさない」ということは事実ならば自家薬籠中でない fact14: もしもこの映画が自家薬籠中でないならこの清算対象は固いけど自家薬籠中でない fact15: 「このメレンゲは使い易くなくてそれは自己目的化しない」ということは成り立つ fact16: もし仮に「あるものが二〜三週間後だしそれは撥ね飛ばす」ということは成り立たないとしたら自家薬籠中でない fact17: もし仮にこのメレンゲが使い易いけど自己目的化しないとしたらあの脱衣所はちぎれ易くない ; $hypothesis$ = この清算対象は固いけれど自家薬籠中でない ; $proof$ = 
fact1 & fact15 -> int1: あの脱衣所はちぎれ易くない; int1 & fact7 -> int2: このアメリカン・ドリームは二〜三週間後でない; int2 & fact5 -> int3: 「この映画は二〜三週間後でまた撥ね飛ばす」ということは間違いである; fact16 -> int4: もし「この映画が二〜三週間後だし更に撥ね飛ばす」ということは成り立つということはないとすれば自家薬籠中でない; int3 & int4 -> int5: この映画は自家薬籠中でない; int5 & fact14 -> hypothesis; __PROVED__
事実1: もしこのメレンゲが使い易くないし自己目的化しないとしたらあの脱衣所はちぎれ易くない
事実2: もし何らかの物が撥ね飛ばさないとしたら自家薬籠中でない
事実3: もし仮に「なんらかの物は二〜三週間後で自家薬籠中だ」ということは誤っているならそれは自己目的化しない
事実4: このメレンゲは使い易くない
事実5: このアメリカン・ドリームは二〜三週間後だということはないなら「この映画は二〜三週間後であるしさらに撥ね飛ばす」ということは誤りである
事実6: もしも「このアメリカン・ドリームは使い易くてさらにそれは二〜三週間後だ」ということは誤りであるとすると「それは自家薬籠中である」ということは間違いである
事実7: あの脱衣所がちぎれ易くないとしたらこのアメリカン・ドリームは二〜三週間後でない
事実8: もし「この映画は自家薬籠中で撥ね飛ばす」ということは間違いであるならば「固くない」ということは成り立つ
事実9: この清算対象は自家薬籠中でない
事実10: このメレンゲが二〜三週間後だとしたらその明星はバックスペースキーであるけど固くない
事実11: 仮にこの映画が自家薬籠中でないとしたらこの清算対象は自家薬籠中だということはない
事実12: このメレンゲは陶冶しない
事実13: もし仮に「この映画は撥ね飛ばさない」ということは事実ならば自家薬籠中でない
事実14: もしもこの映画が自家薬籠中でないならこの清算対象は固いけど自家薬籠中でない
事実15: 「このメレンゲは使い易くなくてそれは自己目的化しない」ということは成り立つ
事実16: もし仮に「あるものが二〜三週間後だしそれは撥ね飛ばす」ということは成り立たないとしたら自家薬籠中でない
事実17: もし仮にこのメレンゲが使い易いけど自己目的化しないとしたらあの脱衣所はちぎれ易くない

仮説: この清算対象は固いけれど自家薬籠中でない
1. 事実1と事実15から、推論1: "あの脱衣所はちぎれ易くない"が導かれる
2. 推論1と事実7から、推論2: "このアメリカン・ドリームは二〜三週間後でない"が導かれる
3. 推論2と事実5から、推論3: "「この映画は二〜三週間後でまた撥ね飛ばす」ということは間違いである"が導かれる
4. 事実16から、推論4: "もし「この映画が二〜三週間後だし更に撥ね飛ばす」ということは成り立つということはないとすれば自家薬籠中でない"が導かれる
5. 推論3と推論4から、推論5: "この映画は自家薬籠中でない"が導かれる
6. 推論5と事実14から、仮説が導かれる

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