この共同通信はこっくりする
fact1: 「この共同通信は統治出来ないしそれは再スタートでない」ということは誤りだ fact2: 仮にその使い捨ては相手投手だということはないとすれば「この共同通信は再スタートでなくて更に相手投手でない」ということは成り立たない fact3: 「「あの国税局所管法人は始発駅だけどノーデであるということはない」ということは間違っている」ということは成り立つ fact4: 「なんらかの物は再スタートであるししかも相手投手だ」ということは誤っているとしたらそれは再スタートでない fact5: もし仮に「その使い捨ては相手投手でない」ということは成り立つとすれば「この共同通信は再スタートだ一方で相手投手でない」ということは誤っている fact6: もしその使い捨ては細胞膜でないとしたら「あの国税局所管法人は相手投手でない一方で再スタートである」ということは成り立たない fact7: もし仮に「なにかは再スタートでなくて相手投手でない」ということは成り立たないとしたら「それはこっくりしない」ということは事実と異なる fact8: 仮に「あの国税局所管法人は始発駅であるけれどノーデでない」ということは間違っているとすればあの使い捨ては相手投手でない fact9: もしも「その使い捨てはこっくりするということはなくて再スタートでない」ということは事実と異なるとすれば「それは相手投手でない」ということは間違っている
fact8 & fact3 -> int1: その使い捨ては相手投手でない; int1 & fact2 -> int2: 「この共同通信は再スタートでなくておまけに相手投手でない」ということは嘘である; fact7 -> int3: 「この共同通信は再スタートでなくて相手投手であるということはない」ということは成り立つということはないならそれはこっくりする; int2 & int3 -> hypothesis;
その使い捨ては再スタートでない
fact10 -> int4: もし仮に「その使い捨ては再スタートであるしそれは相手投手だ」ということは正しくないならそれは再スタートでない;
$facts$ = fact1: 「この共同通信は統治出来ないしそれは再スタートでない」ということは誤りだ fact2: 仮にその使い捨ては相手投手だということはないとすれば「この共同通信は再スタートでなくて更に相手投手でない」ということは成り立たない fact3: 「「あの国税局所管法人は始発駅だけどノーデであるということはない」ということは間違っている」ということは成り立つ fact4: 「なんらかの物は再スタートであるししかも相手投手だ」ということは誤っているとしたらそれは再スタートでない fact5: もし仮に「その使い捨ては相手投手でない」ということは成り立つとすれば「この共同通信は再スタートだ一方で相手投手でない」ということは誤っている fact6: もしその使い捨ては細胞膜でないとしたら「あの国税局所管法人は相手投手でない一方で再スタートである」ということは成り立たない fact7: もし仮に「なにかは再スタートでなくて相手投手でない」ということは成り立たないとしたら「それはこっくりしない」ということは事実と異なる fact8: 仮に「あの国税局所管法人は始発駅であるけれどノーデでない」ということは間違っているとすればあの使い捨ては相手投手でない fact9: もしも「その使い捨てはこっくりするということはなくて再スタートでない」ということは事実と異なるとすれば「それは相手投手でない」ということは間違っている ; $hypothesis$ = この共同通信はこっくりする ; $proof$ = 
fact8 & fact3 -> int1: その使い捨ては相手投手でない; int1 & fact2 -> int2: 「この共同通信は再スタートでなくておまけに相手投手でない」ということは嘘である; fact7 -> int3: 「この共同通信は再スタートでなくて相手投手であるということはない」ということは成り立つということはないならそれはこっくりする; int2 & int3 -> hypothesis; __PROVED__
事実1: 「この共同通信は統治出来ないしそれは再スタートでない」ということは誤りだ
事実2: 仮にその使い捨ては相手投手だということはないとすれば「この共同通信は再スタートでなくて更に相手投手でない」ということは成り立たない
事実3: 「「あの国税局所管法人は始発駅だけどノーデであるということはない」ということは間違っている」ということは成り立つ
事実4: 「なんらかの物は再スタートであるししかも相手投手だ」ということは誤っているとしたらそれは再スタートでない
事実5: もし仮に「その使い捨ては相手投手でない」ということは成り立つとすれば「この共同通信は再スタートだ一方で相手投手でない」ということは誤っている
事実6: もしその使い捨ては細胞膜でないとしたら「あの国税局所管法人は相手投手でない一方で再スタートである」ということは成り立たない
事実7: もし仮に「なにかは再スタートでなくて相手投手でない」ということは成り立たないとしたら「それはこっくりしない」ということは事実と異なる
事実8: 仮に「あの国税局所管法人は始発駅であるけれどノーデでない」ということは間違っているとすればあの使い捨ては相手投手でない
事実9: もしも「その使い捨てはこっくりするということはなくて再スタートでない」ということは事実と異なるとすれば「それは相手投手でない」ということは間違っている

仮説: この共同通信はこっくりする
1. 事実8と事実3から、推論1: "その使い捨ては相手投手でない"が導かれる
2. 推論1と事実2から、推論2: "「この共同通信は再スタートでなくておまけに相手投手でない」ということは嘘である"が導かれる
3. 事実7から、推論3: "「この共同通信は再スタートでなくて相手投手であるということはない」ということは成り立つということはないならそれはこっくりする"が導かれる
4. 推論2と推論3から、仮説が導かれる

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