その引き換えはプレビューする
fact1: この総長はプレビューする fact2: その引き換えは決め難いけど変更入力しない fact3: 仮にとあるものは操作出来るし押し易いとしたらそれはプレビューしない fact4: もし仮になんらかのものは操作出来ないし更に剥げ落ちないとしたらそれは決め言葉だ fact5: なにがしかの物は決め言葉でないかもしくは剥げ落ちる fact6: もし仮になにかは縮小表示するがしかしスポーツクラブでないとしたら「それは操作出来る」ということは間違っているということはない fact7: もし何かは決め言葉ならばプレビューする fact8: 仮にこの昭和前期が決め言葉だとしたらその引き換えは決め言葉だ fact9: 仮にその引き換えは決め難いけど変更入力しないとしたらそれは押し易い fact10: ある物が決め言葉でないかあるいはそれが剥げ落ちるならその引き換えは操作出来る fact11: 「この諸国間は操作出来るし加えて押し易い」ということは誤っている
fact5 & fact10 -> int1: その引き換えは操作出来る; fact2 & fact9 -> int2: 「その引き換えは押し易い」ということは本当である; int1 & int2 -> int3: その引き換えは操作出来るしおまけに押し易い; fact3 -> int4: もしその引き換えが操作出来るしその上押し易いとすればそれはプレビューするということはない; int3 & int4 -> hypothesis;
もしもこの付帯税は縮小表示するがしかしスポーツクラブであるということはないなら「操作出来る」ということは成り立つ
fact12 -> hypothesis;
$facts$ = fact1: この総長はプレビューする fact2: その引き換えは決め難いけど変更入力しない fact3: 仮にとあるものは操作出来るし押し易いとしたらそれはプレビューしない fact4: もし仮になんらかのものは操作出来ないし更に剥げ落ちないとしたらそれは決め言葉だ fact5: なにがしかの物は決め言葉でないかもしくは剥げ落ちる fact6: もし仮になにかは縮小表示するがしかしスポーツクラブでないとしたら「それは操作出来る」ということは間違っているということはない fact7: もし何かは決め言葉ならばプレビューする fact8: 仮にこの昭和前期が決め言葉だとしたらその引き換えは決め言葉だ fact9: 仮にその引き換えは決め難いけど変更入力しないとしたらそれは押し易い fact10: ある物が決め言葉でないかあるいはそれが剥げ落ちるならその引き換えは操作出来る fact11: 「この諸国間は操作出来るし加えて押し易い」ということは誤っている ; $hypothesis$ = その引き換えはプレビューする ; $proof$ = 
fact5 & fact10 -> int1: その引き換えは操作出来る; fact2 & fact9 -> int2: 「その引き換えは押し易い」ということは本当である; int1 & int2 -> int3: その引き換えは操作出来るしおまけに押し易い; fact3 -> int4: もしその引き換えが操作出来るしその上押し易いとすればそれはプレビューするということはない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この総長はプレビューする
事実2: その引き換えは決め難いけど変更入力しない
事実3: 仮にとあるものは操作出来るし押し易いとしたらそれはプレビューしない
事実4: もし仮になんらかのものは操作出来ないし更に剥げ落ちないとしたらそれは決め言葉だ
事実5: なにがしかの物は決め言葉でないかもしくは剥げ落ちる
事実6: もし仮になにかは縮小表示するがしかしスポーツクラブでないとしたら「それは操作出来る」ということは間違っているということはない
事実7: もし何かは決め言葉ならばプレビューする
事実8: 仮にこの昭和前期が決め言葉だとしたらその引き換えは決め言葉だ
事実9: 仮にその引き換えは決め難いけど変更入力しないとしたらそれは押し易い
事実10: ある物が決め言葉でないかあるいはそれが剥げ落ちるならその引き換えは操作出来る
事実11: 「この諸国間は操作出来るし加えて押し易い」ということは誤っている

仮説: その引き換えはプレビューする
1. 事実5と事実10から、推論1: "その引き換えは操作出来る"が導かれる
2. 事実2と事実9から、推論2: "「その引き換えは押し易い」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "その引き換えは操作出来るしおまけに押し易い"が導かれる
4. 事実3から、推論4: "もしその引き換えが操作出来るしその上押し易いとすればそれはプレビューするということはない"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。