「この入力操作は複製出来るし絞り入れる」ということは成り立たない
fact1: あの反政府は戻し易い fact2: この入力操作は広ーい fact3: あの反政府は確率である fact4: もしもあの反政府が確率だとしたら有力視する fact5: この心タンポナーデは複製出来ないなら「この入力操作は複製出来るし絞り入れる」ということは誤りだ fact6: もしこの心タンポナーデは棹差すとすれば「あの反政府は棹差さない一方で戻し易い」ということは間違っている fact7: もし何らかのものが有力視するとすればそれは棹差さないしそれは戻し易い fact8: もしこの入力操作が絞り入れるとすれば戻し易くないがしかし複製出来る fact9: もしあの反政府が有力視するとすると戻し易い fact10: もしもなにがしかの物が有力視すれば戻し易い fact11: この入力操作は複製出来るしかつ確率である fact12: もしこの心タンポナーデが複製出来ればそれは棹差す fact13: もしも「何らかの物は絞り入れない」ということは本当であるとすればそれが棹差すということはないしさらにそれは戻し易くない fact14: あの反政府は複製出来ないが緩み易い fact15: もしこの心タンポナーデが確率だとするとそれが複製出来ないしさらにそれは棹差す fact16: 「この援助交際は複製出来る」ということは成り立つ
void -> assump1: 以下のように仮定する。「この心タンポナーデは複製出来る」ということは正しい; fact12 & assump1 -> int1: 「この心タンポナーデは棹差す」ということは事実だ; int1 & fact6 -> int2: 「あの反政府は棹差さないけど戻し易い」ということは誤っている; fact7 -> int3: あの反政府が有力視するとするとそれは棹差さないしそれは戻し易い; fact3 & fact4 -> int4: あの反政府は有力視する; int3 & int4 -> int5: あの反政府は棹差さないがそれは戻し易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この心タンポナーデは複製出来ない」ということは本当である; int7 & fact5 -> hypothesis;
あの反政府は土産物屋である
fact17 -> int8: もしこの心タンポナーデが絞り入れないならそれは棹差さないしその上それは戻し易くない;
$facts$ = fact1: あの反政府は戻し易い fact2: この入力操作は広ーい fact3: あの反政府は確率である fact4: もしもあの反政府が確率だとしたら有力視する fact5: この心タンポナーデは複製出来ないなら「この入力操作は複製出来るし絞り入れる」ということは誤りだ fact6: もしこの心タンポナーデは棹差すとすれば「あの反政府は棹差さない一方で戻し易い」ということは間違っている fact7: もし何らかのものが有力視するとすればそれは棹差さないしそれは戻し易い fact8: もしこの入力操作が絞り入れるとすれば戻し易くないがしかし複製出来る fact9: もしあの反政府が有力視するとすると戻し易い fact10: もしもなにがしかの物が有力視すれば戻し易い fact11: この入力操作は複製出来るしかつ確率である fact12: もしこの心タンポナーデが複製出来ればそれは棹差す fact13: もしも「何らかの物は絞り入れない」ということは本当であるとすればそれが棹差すということはないしさらにそれは戻し易くない fact14: あの反政府は複製出来ないが緩み易い fact15: もしこの心タンポナーデが確率だとするとそれが複製出来ないしさらにそれは棹差す fact16: 「この援助交際は複製出来る」ということは成り立つ ; $hypothesis$ = 「この入力操作は複製出来るし絞り入れる」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この心タンポナーデは複製出来る」ということは正しい; fact12 & assump1 -> int1: 「この心タンポナーデは棹差す」ということは事実だ; int1 & fact6 -> int2: 「あの反政府は棹差さないけど戻し易い」ということは誤っている; fact7 -> int3: あの反政府が有力視するとするとそれは棹差さないしそれは戻し易い; fact3 & fact4 -> int4: あの反政府は有力視する; int3 & int4 -> int5: あの反政府は棹差さないがそれは戻し易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この心タンポナーデは複製出来ない」ということは本当である; int7 & fact5 -> hypothesis; __PROVED__
事実1: あの反政府は戻し易い
事実2: この入力操作は広ーい
事実3: あの反政府は確率である
事実4: もしもあの反政府が確率だとしたら有力視する
事実5: この心タンポナーデは複製出来ないなら「この入力操作は複製出来るし絞り入れる」ということは誤りだ
事実6: もしこの心タンポナーデは棹差すとすれば「あの反政府は棹差さない一方で戻し易い」ということは間違っている
事実7: もし何らかのものが有力視するとすればそれは棹差さないしそれは戻し易い
事実8: もしこの入力操作が絞り入れるとすれば戻し易くないがしかし複製出来る
事実9: もしあの反政府が有力視するとすると戻し易い
事実10: もしもなにがしかの物が有力視すれば戻し易い
事実11: この入力操作は複製出来るしかつ確率である
事実12: もしこの心タンポナーデが複製出来ればそれは棹差す
事実13: もしも「何らかの物は絞り入れない」ということは本当であるとすればそれが棹差すということはないしさらにそれは戻し易くない
事実14: あの反政府は複製出来ないが緩み易い
事実15: もしこの心タンポナーデが確率だとするとそれが複製出来ないしさらにそれは棹差す
事実16: 「この援助交際は複製出来る」ということは成り立つ

仮説: 「この入力操作は複製出来るし絞り入れる」ということは成り立たない
1. 仮定1: 以下のように仮定する。「この心タンポナーデは複製出来る」ということは正しい
2. 事実12と仮定1から、推論1: "「この心タンポナーデは棹差す」ということは事実だ"が導かれる
3. 推論1と事実6から、推論2: "「あの反政府は棹差さないけど戻し易い」ということは誤っている"が導かれる
4. 事実7から、推論3: "あの反政府が有力視するとするとそれは棹差さないしそれは戻し易い"が導かれる
5. 事実3と事実4から、推論4: "あの反政府は有力視する"が導かれる
6. 推論3と推論4から、推論5: "あの反政府は棹差さないがそれは戻し易い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この心タンポナーデは複製出来ない」ということは本当である"が導かれる
9. 推論7と事実5から、仮説が導かれる

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