そのポインタツールはスピーチライブでないかもしくは表わし始めないかまたは両方だ
fact1: もしもこの賛嘆が表わし始めるとしたらそのポインタツールは寝直さないかあるいは表わし始めないかあるいは両方ともだ fact2: もしあのヘレネスが回り回らないとするとその側頭筋は表わし始めるし専用する fact3: その音響分析は表わし始めるということはない fact4: あのヘレネスは表わし始めない fact5: もし仮に「ある物は商品コンボボックスでないかそれは回り回る」ということは成り立たないとすれば専用しない fact6: そのポインタツールは生み易い fact7: あの一般的状況は商品コンボボックスでない fact8: このスタートボタンは生み易いが商品コンボボックスでない fact9: もしこの賛嘆が表わし始めるならそのポインタツールはスピーチライブでないかもしくはそれは表わし始めるということはないかあるいはどちらもである fact10: もし仮になにがしかの物が表わし始めるならスピーチライブである fact11: 「このスタートボタンは専用しないかあるいは回り回らないかまたは両方だ」ということは成り立つ fact12: もし仮にこのスタートボタンは寝直すがしかし商品コンボボックスでないなら回り回らない fact13: もしあのヘレネスが生み易いがしかし小妖精でないとしたらこのスタートボタンは回り回る fact14: このスタートボタンは寝直す一方で商品コンボボックスでない fact15: もし「あのヘレネスは生み易いけれど小妖精でない」ということは偽だとしたらこの賛嘆は専用する fact16: 「あのヘレネスは表わし始めるが小妖精でない」ということは誤っている fact17: もし仮にある物が専用するとしたらそれは表わし始める fact18: スピーチライブは表わし始める
void -> assump1: 以下のように仮定する。あのヘレネスは生み易いがしかし小妖精でない; fact13 & assump1 -> int1: 「このスタートボタンは回り回る」ということは成り立つ; fact14 & fact12 -> int2: このスタートボタンは回り回らない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのヘレネスは生み易いけど小妖精でない」ということは成り立たない; int4 & fact15 -> int5: この賛嘆は専用する; fact17 -> int6: この賛嘆が専用すれば表わし始める; int5 & int6 -> int7: この賛嘆は表わし始める; int7 & fact9 -> hypothesis;
その側頭筋は表わし始める
$facts$ = fact1: もしもこの賛嘆が表わし始めるとしたらそのポインタツールは寝直さないかあるいは表わし始めないかあるいは両方ともだ fact2: もしあのヘレネスが回り回らないとするとその側頭筋は表わし始めるし専用する fact3: その音響分析は表わし始めるということはない fact4: あのヘレネスは表わし始めない fact5: もし仮に「ある物は商品コンボボックスでないかそれは回り回る」ということは成り立たないとすれば専用しない fact6: そのポインタツールは生み易い fact7: あの一般的状況は商品コンボボックスでない fact8: このスタートボタンは生み易いが商品コンボボックスでない fact9: もしこの賛嘆が表わし始めるならそのポインタツールはスピーチライブでないかもしくはそれは表わし始めるということはないかあるいはどちらもである fact10: もし仮になにがしかの物が表わし始めるならスピーチライブである fact11: 「このスタートボタンは専用しないかあるいは回り回らないかまたは両方だ」ということは成り立つ fact12: もし仮にこのスタートボタンは寝直すがしかし商品コンボボックスでないなら回り回らない fact13: もしあのヘレネスが生み易いがしかし小妖精でないとしたらこのスタートボタンは回り回る fact14: このスタートボタンは寝直す一方で商品コンボボックスでない fact15: もし「あのヘレネスは生み易いけれど小妖精でない」ということは偽だとしたらこの賛嘆は専用する fact16: 「あのヘレネスは表わし始めるが小妖精でない」ということは誤っている fact17: もし仮にある物が専用するとしたらそれは表わし始める fact18: スピーチライブは表わし始める ; $hypothesis$ = そのポインタツールはスピーチライブでないかもしくは表わし始めないかまたは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのヘレネスは生み易いがしかし小妖精でない; fact13 & assump1 -> int1: 「このスタートボタンは回り回る」ということは成り立つ; fact14 & fact12 -> int2: このスタートボタンは回り回らない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのヘレネスは生み易いけど小妖精でない」ということは成り立たない; int4 & fact15 -> int5: この賛嘆は専用する; fact17 -> int6: この賛嘆が専用すれば表わし始める; int5 & int6 -> int7: この賛嘆は表わし始める; int7 & fact9 -> hypothesis; __PROVED__
事実1: もしもこの賛嘆が表わし始めるとしたらそのポインタツールは寝直さないかあるいは表わし始めないかあるいは両方ともだ
事実2: もしあのヘレネスが回り回らないとするとその側頭筋は表わし始めるし専用する
事実3: その音響分析は表わし始めるということはない
事実4: あのヘレネスは表わし始めない
事実5: もし仮に「ある物は商品コンボボックスでないかそれは回り回る」ということは成り立たないとすれば専用しない
事実6: そのポインタツールは生み易い
事実7: あの一般的状況は商品コンボボックスでない
事実8: このスタートボタンは生み易いが商品コンボボックスでない
事実9: もしこの賛嘆が表わし始めるならそのポインタツールはスピーチライブでないかもしくはそれは表わし始めるということはないかあるいはどちらもである
事実10: もし仮になにがしかの物が表わし始めるならスピーチライブである
事実11: 「このスタートボタンは専用しないかあるいは回り回らないかまたは両方だ」ということは成り立つ
事実12: もし仮にこのスタートボタンは寝直すがしかし商品コンボボックスでないなら回り回らない
事実13: もしあのヘレネスが生み易いがしかし小妖精でないとしたらこのスタートボタンは回り回る
事実14: このスタートボタンは寝直す一方で商品コンボボックスでない
事実15: もし「あのヘレネスは生み易いけれど小妖精でない」ということは偽だとしたらこの賛嘆は専用する
事実16: 「あのヘレネスは表わし始めるが小妖精でない」ということは誤っている
事実17: もし仮にある物が専用するとしたらそれは表わし始める
事実18: スピーチライブは表わし始める

仮説: そのポインタツールはスピーチライブでないかもしくは表わし始めないかまたは両方だ
1. 仮定1: 以下のように仮定する。あのヘレネスは生み易いがしかし小妖精でない
2. 事実13と仮定1から、推論1: "「このスタートボタンは回り回る」ということは成り立つ"が導かれる
3. 事実14と事実12から、推論2: "このスタートボタンは回り回らない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あのヘレネスは生み易いけど小妖精でない」ということは成り立たない"が導かれる
6. 推論4と事実15から、推論5: "この賛嘆は専用する"が導かれる
7. 事実17から、推論6: "この賛嘆が専用すれば表わし始める"が導かれる
8. 推論5と推論6から、推論7: "この賛嘆は表わし始める"が導かれる
9. 推論7と事実9から、仮説が導かれる

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