あのレトリックは重ね付けする
fact1: もしもあのレトリックがＩＰ‐ＶＰＮでないとすると授業でしかもそれは負担出来ない fact2: あのレトリックはＩＰ‐ＶＰＮでない fact3: この一セットは遅れ易いがしかし市街電車でない fact4: あの六寺は遅れ易くないかブラーでないかあるいは両方だ fact5: もし仮にこのオーラル・コミュニケーション・ストラテジーがファーミングでおまけに抵抗し続けるとすればあのレトリックは御勧め致さない fact6: 何かは御勧め致さないならそれはファーミングでなくて更に抵抗し続ける fact7: もし仮にあの六寺が遅れ易くないかもしくはブラーでないならこのオーラル・コミュニケーション・ストラテジーは抵抗し続ける fact8: 「あのレトリックは負担出来る」ということは誤っている fact9: このオーラル・コミュニケーション・ストラテジーはファーミングである fact10: もしあのレトリックが御勧め致さないけど授業であるならそれは重ね付けする fact11: あの六寺は遅れ易くないかそれはブラーである fact12: もしもあの六寺が重ね付けするとするとあのレトリックは重ね付けしない fact13: もし仮にこのオーラル・コミュニケーション・ストラテジーが抵抗し続けないとしたらあの六寺は重ね付けするし加えてファーミングだ
fact7 & fact4 -> int1: このオーラル・コミュニケーション・ストラテジーは抵抗し続ける; int1 & fact9 -> int2: このオーラル・コミュニケーション・ストラテジーはファーミングだしその上抵抗し続ける; int2 & fact5 -> int3: あのレトリックは御勧め致さない; fact2 & fact1 -> int4: あのレトリックは授業だけれど負担出来ない; int4 -> int5: あのレトリックは授業だ; int3 & int5 -> int6: あのレトリックは御勧め致さないけど授業である; int6 & fact10 -> hypothesis;
あのレトリックは重ね付けしない
fact14 -> int7: もしもあの六寺が御勧め致さないとしたらファーミングでないが抵抗し続ける;
$facts$ = fact1: もしもあのレトリックがＩＰ‐ＶＰＮでないとすると授業でしかもそれは負担出来ない fact2: あのレトリックはＩＰ‐ＶＰＮでない fact3: この一セットは遅れ易いがしかし市街電車でない fact4: あの六寺は遅れ易くないかブラーでないかあるいは両方だ fact5: もし仮にこのオーラル・コミュニケーション・ストラテジーがファーミングでおまけに抵抗し続けるとすればあのレトリックは御勧め致さない fact6: 何かは御勧め致さないならそれはファーミングでなくて更に抵抗し続ける fact7: もし仮にあの六寺が遅れ易くないかもしくはブラーでないならこのオーラル・コミュニケーション・ストラテジーは抵抗し続ける fact8: 「あのレトリックは負担出来る」ということは誤っている fact9: このオーラル・コミュニケーション・ストラテジーはファーミングである fact10: もしあのレトリックが御勧め致さないけど授業であるならそれは重ね付けする fact11: あの六寺は遅れ易くないかそれはブラーである fact12: もしもあの六寺が重ね付けするとするとあのレトリックは重ね付けしない fact13: もし仮にこのオーラル・コミュニケーション・ストラテジーが抵抗し続けないとしたらあの六寺は重ね付けするし加えてファーミングだ ; $hypothesis$ = あのレトリックは重ね付けする ; $proof$ = 
fact7 & fact4 -> int1: このオーラル・コミュニケーション・ストラテジーは抵抗し続ける; int1 & fact9 -> int2: このオーラル・コミュニケーション・ストラテジーはファーミングだしその上抵抗し続ける; int2 & fact5 -> int3: あのレトリックは御勧め致さない; fact2 & fact1 -> int4: あのレトリックは授業だけれど負担出来ない; int4 -> int5: あのレトリックは授業だ; int3 & int5 -> int6: あのレトリックは御勧め致さないけど授業である; int6 & fact10 -> hypothesis; __PROVED__
事実1: もしもあのレトリックがＩＰ‐ＶＰＮでないとすると授業でしかもそれは負担出来ない
事実2: あのレトリックはＩＰ‐ＶＰＮでない
事実3: この一セットは遅れ易いがしかし市街電車でない
事実4: あの六寺は遅れ易くないかブラーでないかあるいは両方だ
事実5: もし仮にこのオーラル・コミュニケーション・ストラテジーがファーミングでおまけに抵抗し続けるとすればあのレトリックは御勧め致さない
事実6: 何かは御勧め致さないならそれはファーミングでなくて更に抵抗し続ける
事実7: もし仮にあの六寺が遅れ易くないかもしくはブラーでないならこのオーラル・コミュニケーション・ストラテジーは抵抗し続ける
事実8: 「あのレトリックは負担出来る」ということは誤っている
事実9: このオーラル・コミュニケーション・ストラテジーはファーミングである
事実10: もしあのレトリックが御勧め致さないけど授業であるならそれは重ね付けする
事実11: あの六寺は遅れ易くないかそれはブラーである
事実12: もしもあの六寺が重ね付けするとするとあのレトリックは重ね付けしない
事実13: もし仮にこのオーラル・コミュニケーション・ストラテジーが抵抗し続けないとしたらあの六寺は重ね付けするし加えてファーミングだ

仮説: あのレトリックは重ね付けする
1. 事実7と事実4から、推論1: "このオーラル・コミュニケーション・ストラテジーは抵抗し続ける"が導かれる
2. 推論1と事実9から、推論2: "このオーラル・コミュニケーション・ストラテジーはファーミングだしその上抵抗し続ける"が導かれる
3. 推論2と事実5から、推論3: "あのレトリックは御勧め致さない"が導かれる
4. 事実2と事実1から、推論4: "あのレトリックは授業だけれど負担出来ない"が導かれる
5. 推論4から、推論5: "あのレトリックは授業だ"が導かれる
6. 推論3と推論5から、推論6: "あのレトリックは御勧め致さないけど授業である"が導かれる
7. 推論6と事実10から、仮説が導かれる

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