あの徳政は遣り返す
fact1: 何らかのものが遺贈するとしたら遣り返さない fact2: 何かは切り易いとしたらそれは遣り返す fact3: すばしっこいものは切り易い fact4: もしなにかは売り捲るということはないとすると「それはすばしっこいかまたは切り易くない」ということは間違いである fact5: もしあのベストマッチが遺贈するならあの仏教教団は立后だ fact6: もし「あの仏教教団はすばしっこいかもしくは切り易くない」ということは成り立つということはないならばあの基本的特徴は思い合わない fact7: もし仮にあの仏教教団が立后だとしたらこの基本的特徴は思い合う fact8: この基本的特徴は売り捲るかまたは切り易い fact9: もしあのベストマッチが切り易いとすればそれはすばしっこい fact10: もし「なにかはすばしっこくない物でありおまけに思い合う」ということは誤っているなら切り易い fact11: 「あの徳政はすばしっこいしその上思い合う」ということは間違っている fact12: あのベストマッチは思い合う fact13: 仮にあの徳政がすばしっこいならそれは切り易い fact14: あの仏教教団は実現出来る fact15: 仮にあのベストマッチが豚箱であるならばあの徳政は遺贈する fact16: もしもあのベストマッチは遺贈するとしたら「このパネルディスカッションは遺贈する」ということは本当だ fact17: 仮にこの基本的特徴は思い合うとすると「あの徳政はすばしっこいということはないけれど思い合う」ということは事実と異なる fact18: あのベストマッチは豚箱であるとすれば「あの仏教教団は立后でない」ということは真実でない fact19: もしも「あの仏教教団は売り捲るけれどそれは行末でない」ということは成り立つということはないとすれば売り捲らない fact20: もしなにがしかの物が思い合うということはないとすればそれは豚箱であるししかも立后だ fact21: もし仮に何かはすばしっこいとすればそれは思い合うということはない fact22: 「この基本的特徴は思い合う」ということは正しいなら「あの徳政はすばしっこいししかも思い合う」ということは誤っている fact23: あのベストマッチは遺贈するかまたは豚箱だ
fact23 & fact5 & fact18 -> int1: あの仏教教団は立后だ; int1 & fact7 -> int2: この基本的特徴は思い合う; int2 & fact17 -> int3: 「あの徳政はすばしっこくないがそれは思い合う」ということは事実と異なる; fact10 -> int4: 仮に「あの徳政はすばしっこくないがしかし思い合う」ということは間違っているとするとそれは切り易い; int3 & int4 -> int5: あの徳政は切り易い; fact2 -> int6: 仮にあの徳政が切り易いならそれは遣り返す; int5 & int6 -> hypothesis;
このパネルディスカッションは遺贈する
fact27 -> int7: もしもあのベストマッチが思い合わないとすると豚箱でまた立后だ; fact28 -> int8: もしもあのベストマッチがすばしっこいとすると思い合うということはない;
$facts$ = fact1: 何らかのものが遺贈するとしたら遣り返さない fact2: 何かは切り易いとしたらそれは遣り返す fact3: すばしっこいものは切り易い fact4: もしなにかは売り捲るということはないとすると「それはすばしっこいかまたは切り易くない」ということは間違いである fact5: もしあのベストマッチが遺贈するならあの仏教教団は立后だ fact6: もし「あの仏教教団はすばしっこいかもしくは切り易くない」ということは成り立つということはないならばあの基本的特徴は思い合わない fact7: もし仮にあの仏教教団が立后だとしたらこの基本的特徴は思い合う fact8: この基本的特徴は売り捲るかまたは切り易い fact9: もしあのベストマッチが切り易いとすればそれはすばしっこい fact10: もし「なにかはすばしっこくない物でありおまけに思い合う」ということは誤っているなら切り易い fact11: 「あの徳政はすばしっこいしその上思い合う」ということは間違っている fact12: あのベストマッチは思い合う fact13: 仮にあの徳政がすばしっこいならそれは切り易い fact14: あの仏教教団は実現出来る fact15: 仮にあのベストマッチが豚箱であるならばあの徳政は遺贈する fact16: もしもあのベストマッチは遺贈するとしたら「このパネルディスカッションは遺贈する」ということは本当だ fact17: 仮にこの基本的特徴は思い合うとすると「あの徳政はすばしっこいということはないけれど思い合う」ということは事実と異なる fact18: あのベストマッチは豚箱であるとすれば「あの仏教教団は立后でない」ということは真実でない fact19: もしも「あの仏教教団は売り捲るけれどそれは行末でない」ということは成り立つということはないとすれば売り捲らない fact20: もしなにがしかの物が思い合うということはないとすればそれは豚箱であるししかも立后だ fact21: もし仮に何かはすばしっこいとすればそれは思い合うということはない fact22: 「この基本的特徴は思い合う」ということは正しいなら「あの徳政はすばしっこいししかも思い合う」ということは誤っている fact23: あのベストマッチは遺贈するかまたは豚箱だ ; $hypothesis$ = あの徳政は遣り返す ; $proof$ = 
fact23 & fact5 & fact18 -> int1: あの仏教教団は立后だ; int1 & fact7 -> int2: この基本的特徴は思い合う; int2 & fact17 -> int3: 「あの徳政はすばしっこくないがそれは思い合う」ということは事実と異なる; fact10 -> int4: 仮に「あの徳政はすばしっこくないがしかし思い合う」ということは間違っているとするとそれは切り易い; int3 & int4 -> int5: あの徳政は切り易い; fact2 -> int6: 仮にあの徳政が切り易いならそれは遣り返す; int5 & int6 -> hypothesis; __PROVED__
事実1: 何らかのものが遺贈するとしたら遣り返さない
事実2: 何かは切り易いとしたらそれは遣り返す
事実3: すばしっこいものは切り易い
事実4: もしなにかは売り捲るということはないとすると「それはすばしっこいかまたは切り易くない」ということは間違いである
事実5: もしあのベストマッチが遺贈するならあの仏教教団は立后だ
事実6: もし「あの仏教教団はすばしっこいかもしくは切り易くない」ということは成り立つということはないならばあの基本的特徴は思い合わない
事実7: もし仮にあの仏教教団が立后だとしたらこの基本的特徴は思い合う
事実8: この基本的特徴は売り捲るかまたは切り易い
事実9: もしあのベストマッチが切り易いとすればそれはすばしっこい
事実10: もし「なにかはすばしっこくない物でありおまけに思い合う」ということは誤っているなら切り易い
事実11: 「あの徳政はすばしっこいしその上思い合う」ということは間違っている
事実12: あのベストマッチは思い合う
事実13: 仮にあの徳政がすばしっこいならそれは切り易い
事実14: あの仏教教団は実現出来る
事実15: 仮にあのベストマッチが豚箱であるならばあの徳政は遺贈する
事実16: もしもあのベストマッチは遺贈するとしたら「このパネルディスカッションは遺贈する」ということは本当だ
事実17: 仮にこの基本的特徴は思い合うとすると「あの徳政はすばしっこいということはないけれど思い合う」ということは事実と異なる
事実18: あのベストマッチは豚箱であるとすれば「あの仏教教団は立后でない」ということは真実でない
事実19: もしも「あの仏教教団は売り捲るけれどそれは行末でない」ということは成り立つということはないとすれば売り捲らない
事実20: もしなにがしかの物が思い合うということはないとすればそれは豚箱であるししかも立后だ
事実21: もし仮に何かはすばしっこいとすればそれは思い合うということはない
事実22: 「この基本的特徴は思い合う」ということは正しいなら「あの徳政はすばしっこいししかも思い合う」ということは誤っている
事実23: あのベストマッチは遺贈するかまたは豚箱だ

仮説: あの徳政は遣り返す
1. 事実23と事実5と事実18から、推論1: "あの仏教教団は立后だ"が導かれる
2. 推論1と事実7から、推論2: "この基本的特徴は思い合う"が導かれる
3. 推論2と事実17から、推論3: "「あの徳政はすばしっこくないがそれは思い合う」ということは事実と異なる"が導かれる
4. 事実10から、推論4: "仮に「あの徳政はすばしっこくないがしかし思い合う」ということは間違っているとするとそれは切り易い"が導かれる
5. 推論3と推論4から、推論5: "あの徳政は切り易い"が導かれる
6. 事実2から、推論6: "仮にあの徳政が切り易いならそれは遣り返す"が導かれる
7. 推論5と推論6から、仮説が導かれる

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