あの不完全競争は遺棄しない
fact1: あの不完全競争がイメージングプレートならこの実施等は締め括る fact2: もし仮にこの実施等はイメージングプレートだとすれば「あの不完全競争は締め括る」ということは成り立つ fact3: もし仮に「その最新設備は本当らしくない一方で物らしい」ということは嘘ならこの実施等は本当らしくない fact4: もし仮になにかは締め括るしおまけに本当らしいとしたらそれは遺棄しない fact5: イメージングプレートは遺棄する fact6: この実施等はイメージングプレートだ fact7: あの不完全競争は本当らしいしかつそれは締め切りである fact8: 仮にその小学校費はいとおしいということはないなら「それは生臭いし加えて締め切りだ」ということは間違いである fact9: この実施等が本当らしくないならばあの不完全競争がイメージングプレートだしさらにそれは締め括る fact10: もし仮にそのＤチャネルパケット通信が締め括れば照射する fact11: あの不完全競争は締め切りである fact12: もしも「その小学校費は生臭いし締め切りだ」ということは間違いだとしたら「締め切りだということはない」ということは嘘でない fact13: 「擦り寄せるということはないしさらに鬱陶しかない」ものはある fact14: 疚しくないものはいとおしくない
fact2 & fact6 -> int1: あの不完全競争は締め括る; fact7 -> int2: あの不完全競争は本当らしい; int1 & int2 -> int3: あの不完全競争は締め括るし本当らしい; fact4 -> int4: あの不完全競争は締め括るししかも本当らしいならば遺棄しない; int3 & int4 -> hypothesis;
あの不完全競争は遺棄する
fact20 -> int5: もし仮にあの不完全競争はイメージングプレートであるとすればそれは遺棄する; fact21 -> int6: 「もし仮に「その小学校費は疚しくない」ということは誤っていないならばその小学校費はいとおしくない」ということは成り立つ;
$facts$ = fact1: あの不完全競争がイメージングプレートならこの実施等は締め括る fact2: もし仮にこの実施等はイメージングプレートだとすれば「あの不完全競争は締め括る」ということは成り立つ fact3: もし仮に「その最新設備は本当らしくない一方で物らしい」ということは嘘ならこの実施等は本当らしくない fact4: もし仮になにかは締め括るしおまけに本当らしいとしたらそれは遺棄しない fact5: イメージングプレートは遺棄する fact6: この実施等はイメージングプレートだ fact7: あの不完全競争は本当らしいしかつそれは締め切りである fact8: 仮にその小学校費はいとおしいということはないなら「それは生臭いし加えて締め切りだ」ということは間違いである fact9: この実施等が本当らしくないならばあの不完全競争がイメージングプレートだしさらにそれは締め括る fact10: もし仮にそのＤチャネルパケット通信が締め括れば照射する fact11: あの不完全競争は締め切りである fact12: もしも「その小学校費は生臭いし締め切りだ」ということは間違いだとしたら「締め切りだということはない」ということは嘘でない fact13: 「擦り寄せるということはないしさらに鬱陶しかない」ものはある fact14: 疚しくないものはいとおしくない ; $hypothesis$ = あの不完全競争は遺棄しない ; $proof$ = 
fact2 & fact6 -> int1: あの不完全競争は締め括る; fact7 -> int2: あの不完全競争は本当らしい; int1 & int2 -> int3: あの不完全競争は締め括るし本当らしい; fact4 -> int4: あの不完全競争は締め括るししかも本当らしいならば遺棄しない; int3 & int4 -> hypothesis; __PROVED__
事実1: あの不完全競争がイメージングプレートならこの実施等は締め括る
事実2: もし仮にこの実施等はイメージングプレートだとすれば「あの不完全競争は締め括る」ということは成り立つ
事実3: もし仮に「その最新設備は本当らしくない一方で物らしい」ということは嘘ならこの実施等は本当らしくない
事実4: もし仮になにかは締め括るしおまけに本当らしいとしたらそれは遺棄しない
事実5: イメージングプレートは遺棄する
事実6: この実施等はイメージングプレートだ
事実7: あの不完全競争は本当らしいしかつそれは締め切りである
事実8: 仮にその小学校費はいとおしいということはないなら「それは生臭いし加えて締め切りだ」ということは間違いである
事実9: この実施等が本当らしくないならばあの不完全競争がイメージングプレートだしさらにそれは締め括る
事実10: もし仮にそのＤチャネルパケット通信が締め括れば照射する
事実11: あの不完全競争は締め切りである
事実12: もしも「その小学校費は生臭いし締め切りだ」ということは間違いだとしたら「締め切りだということはない」ということは嘘でない
事実13: 「擦り寄せるということはないしさらに鬱陶しかない」ものはある
事実14: 疚しくないものはいとおしくない

仮説: あの不完全競争は遺棄しない
1. 事実2と事実6から、推論1: "あの不完全競争は締め括る"が導かれる
2. 事実7から、推論2: "あの不完全競争は本当らしい"が導かれる
3. 推論1と推論2から、推論3: "あの不完全競争は締め括るし本当らしい"が導かれる
4. 事実4から、推論4: "あの不完全競争は締め括るししかも本当らしいならば遺棄しない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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