そのセル範囲は親しみ易くない
fact1: 何らかのものが利活用するかもしくはＴＲＡＦであるかまたは両方であるとするとそのセル範囲は親しみ易くない fact2: もしあのジャングル・スイートは四連スロットルでないとすれば「「あの運営上は四連スロットルであるけどそれは古いということはない」ということは偽である」ということは誤りでない fact3: 「仮にあのジャングル・スイートがつま弾くということはないならばあのジャングル・スイートは四連スロットルでない」ということは真実である fact4: 「あの運営上は四連スロットルであるが古くない」ということは正しくない fact5: もし仮にあの運営上はＴＲＡＦでないとすれば「あの凝りはＴＲＡＦでないしさらに古くない」ということは成り立たない fact6: もし仮にあのジャングル・スイートがつま弾くとすればあの大阪人は早合点する fact7: もし仮に「「あの運営上は四連スロットルでないし加えて古くない」ということは正しい」ということは成り立たないならあの凝りはＴＲＡＦだ fact8: あるものが四連スロットルでないとしたらそれは親しみ易いしそれにつま弾かない fact9: あの運営上は利活用しない fact10: もしあの凝りはＴＲＡＦでないとすれば「それは親しみ易いということはない」ということは成り立つ fact11: もしあの運営上が四連スロットルであるとすればあの凝りはＴＲＡＦだ fact12: あのジャングル・スイートはつま弾かない fact13: もしあのジャングル・スイートがＴＲＡＦでないしかつ利活用するということはないならそのセル範囲はＴＲＡＦでない fact14: もし仮に「利活用する」ものがあるとするとそのセル範囲は親しみ易くない fact15: もしあのジャングル・スイートは四連スロットルでないとしたら「あの運営上は四連スロットルだということはないし古くない」ということは間違っている fact16: もし仮にそのセル範囲は親しみ易いということはないとしたら「あの運営上は親しみ易くなくてかつ四連スロットルでない」ということは真実だということはない
fact3 & fact12 -> int1: あのジャングル・スイートは四連スロットルでない; int1 & fact15 -> int2: 「あの運営上は四連スロットルでないしまた古くない」ということは成り立たない; int2 & fact7 -> int3: 「あの凝りはＴＲＡＦだ」ということは成り立つ; int3 -> int4: あの凝りは利活用するかあるいはそれはＴＲＡＦであるかもしくは両方ともである; int4 -> int5: 「「利活用するかあるいはＴＲＡＦであるか両方ともだ」ということは本当な」物はある; int5 & fact1 -> hypothesis;
この大阪人は親しみ易いか早合点するかまたはどちらもである
$facts$ = fact1: 何らかのものが利活用するかもしくはＴＲＡＦであるかまたは両方であるとするとそのセル範囲は親しみ易くない fact2: もしあのジャングル・スイートは四連スロットルでないとすれば「「あの運営上は四連スロットルであるけどそれは古いということはない」ということは偽である」ということは誤りでない fact3: 「仮にあのジャングル・スイートがつま弾くということはないならばあのジャングル・スイートは四連スロットルでない」ということは真実である fact4: 「あの運営上は四連スロットルであるが古くない」ということは正しくない fact5: もし仮にあの運営上はＴＲＡＦでないとすれば「あの凝りはＴＲＡＦでないしさらに古くない」ということは成り立たない fact6: もし仮にあのジャングル・スイートがつま弾くとすればあの大阪人は早合点する fact7: もし仮に「「あの運営上は四連スロットルでないし加えて古くない」ということは正しい」ということは成り立たないならあの凝りはＴＲＡＦだ fact8: あるものが四連スロットルでないとしたらそれは親しみ易いしそれにつま弾かない fact9: あの運営上は利活用しない fact10: もしあの凝りはＴＲＡＦでないとすれば「それは親しみ易いということはない」ということは成り立つ fact11: もしあの運営上が四連スロットルであるとすればあの凝りはＴＲＡＦだ fact12: あのジャングル・スイートはつま弾かない fact13: もしあのジャングル・スイートがＴＲＡＦでないしかつ利活用するということはないならそのセル範囲はＴＲＡＦでない fact14: もし仮に「利活用する」ものがあるとするとそのセル範囲は親しみ易くない fact15: もしあのジャングル・スイートは四連スロットルでないとしたら「あの運営上は四連スロットルだということはないし古くない」ということは間違っている fact16: もし仮にそのセル範囲は親しみ易いということはないとしたら「あの運営上は親しみ易くなくてかつ四連スロットルでない」ということは真実だということはない ; $hypothesis$ = そのセル範囲は親しみ易くない ; $proof$ = 
fact3 & fact12 -> int1: あのジャングル・スイートは四連スロットルでない; int1 & fact15 -> int2: 「あの運営上は四連スロットルでないしまた古くない」ということは成り立たない; int2 & fact7 -> int3: 「あの凝りはＴＲＡＦだ」ということは成り立つ; int3 -> int4: あの凝りは利活用するかあるいはそれはＴＲＡＦであるかもしくは両方ともである; int4 -> int5: 「「利活用するかあるいはＴＲＡＦであるか両方ともだ」ということは本当な」物はある; int5 & fact1 -> hypothesis; __PROVED__
事実1: 何らかのものが利活用するかもしくはＴＲＡＦであるかまたは両方であるとするとそのセル範囲は親しみ易くない
事実2: もしあのジャングル・スイートは四連スロットルでないとすれば「「あの運営上は四連スロットルであるけどそれは古いということはない」ということは偽である」ということは誤りでない
事実3: 「仮にあのジャングル・スイートがつま弾くということはないならばあのジャングル・スイートは四連スロットルでない」ということは真実である
事実4: 「あの運営上は四連スロットルであるが古くない」ということは正しくない
事実5: もし仮にあの運営上はＴＲＡＦでないとすれば「あの凝りはＴＲＡＦでないしさらに古くない」ということは成り立たない
事実6: もし仮にあのジャングル・スイートがつま弾くとすればあの大阪人は早合点する
事実7: もし仮に「「あの運営上は四連スロットルでないし加えて古くない」ということは正しい」ということは成り立たないならあの凝りはＴＲＡＦだ
事実8: あるものが四連スロットルでないとしたらそれは親しみ易いしそれにつま弾かない
事実9: あの運営上は利活用しない
事実10: もしあの凝りはＴＲＡＦでないとすれば「それは親しみ易いということはない」ということは成り立つ
事実11: もしあの運営上が四連スロットルであるとすればあの凝りはＴＲＡＦだ
事実12: あのジャングル・スイートはつま弾かない
事実13: もしあのジャングル・スイートがＴＲＡＦでないしかつ利活用するということはないならそのセル範囲はＴＲＡＦでない
事実14: もし仮に「利活用する」ものがあるとするとそのセル範囲は親しみ易くない
事実15: もしあのジャングル・スイートは四連スロットルでないとしたら「あの運営上は四連スロットルだということはないし古くない」ということは間違っている
事実16: もし仮にそのセル範囲は親しみ易いということはないとしたら「あの運営上は親しみ易くなくてかつ四連スロットルでない」ということは真実だということはない

仮説: そのセル範囲は親しみ易くない
1. 事実3と事実12から、推論1: "あのジャングル・スイートは四連スロットルでない"が導かれる
2. 推論1と事実15から、推論2: "「あの運営上は四連スロットルでないしまた古くない」ということは成り立たない"が導かれる
3. 推論2と事実7から、推論3: "「あの凝りはＴＲＡＦだ」ということは成り立つ"が導かれる
4. 推論3から、推論4: "あの凝りは利活用するかあるいはそれはＴＲＡＦであるかもしくは両方ともである"が導かれる
5. 推論4から、推論5: "「「利活用するかあるいはＴＲＡＦであるか両方ともだ」ということは本当な」物はある"が導かれる
6. 推論5と事実1から、仮説が導かれる

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