とある物は追い出すけれどそれは泥臭くない
fact1: もしその出力電圧ＶＯは結合蛋白質だとしたら「その千九百七十年代後半は泥臭い」ということは間違っていない fact2: 泥臭くない物はある fact3: あるものは追い出すし泥臭い fact4: その出力電圧ＶＯは心優しい fact5: そのトーストパンは掴み難い fact6: その出力電圧ＶＯがローテーションするとしたら見舞わない fact7: その出力電圧ＶＯは追い出すということはないとすれば「取り合える」ということは成り立つ fact8: その中古バイクは追い出さないしそれは送迎しない fact9: もし仮にそのトーストパンがＥＸＥだとすれば追い出さないし掴み難くない fact10: 結合蛋白質は取り合える fact11: もしそのトーストパンがＥＸＥなら心優しくないしローテーションするということはない fact12: その千九百七十年代後半が取り合えればその出力電圧ＶＯは追い出す fact13: もしもその千九百七十年代後半は結合蛋白質であるとすれば「それはローテーションする」ということは成り立つ fact14: 「追い出す」物はある fact15: その千九百七十年代後半はローテーションする fact16: そのアルコール依存症者はローテーションする fact17: この今世紀は規定し合うけれど切り合うということはない fact18: 何らかの物はＥＸＥでないとするとそれは結合蛋白質だ fact19: その出力電圧ＶＯはローテーションする fact20: もし仮にそのトーストパンが掴み難くて更に心優しいとすればその千九百七十年代後半はＥＸＥでない fact21: 「そのトーストパンはローテーションする」ということは成り立つ fact22: もしもあるものは泥臭くないなら「それは心優しい」ということは事実である fact23: 仮にその出力電圧ＶＯがローテーションすればそれは泥臭くなくて見舞わない fact24: その出力電圧ＶＯは見舞わない fact25: もしその千九百七十年代後半が追い出すとしたらそれは結合蛋白質である fact26: そのトーストパンは心優しい
fact5 & fact26 -> int1: そのトーストパンは掴み難いしそれは心優しい; int1 & fact20 -> int2: その千九百七十年代後半はＥＸＥでない; fact18 -> int3: もし仮にその千九百七十年代後半はＥＸＥでないなら結合蛋白質である; int2 & int3 -> int4: 「その千九百七十年代後半は結合蛋白質だ」ということは本当だ; fact10 -> int5: もしその千九百七十年代後半が結合蛋白質ならば取り合える; int4 & int5 -> int6: その千九百七十年代後半は取り合える; int6 & fact12 -> int7: その出力電圧ＶＯは追い出す; fact23 & fact19 -> int8: その出力電圧ＶＯは泥臭くなくておまけにそれは見舞うということはない; int8 -> int9: その出力電圧ＶＯは泥臭くない; int7 & int9 -> int10: その出力電圧ＶＯは追い出す一方でそれは泥臭くない; int10 -> hypothesis;
$facts$ = fact1: もしその出力電圧ＶＯは結合蛋白質だとしたら「その千九百七十年代後半は泥臭い」ということは間違っていない fact2: 泥臭くない物はある fact3: あるものは追い出すし泥臭い fact4: その出力電圧ＶＯは心優しい fact5: そのトーストパンは掴み難い fact6: その出力電圧ＶＯがローテーションするとしたら見舞わない fact7: その出力電圧ＶＯは追い出すということはないとすれば「取り合える」ということは成り立つ fact8: その中古バイクは追い出さないしそれは送迎しない fact9: もし仮にそのトーストパンがＥＸＥだとすれば追い出さないし掴み難くない fact10: 結合蛋白質は取り合える fact11: もしそのトーストパンがＥＸＥなら心優しくないしローテーションするということはない fact12: その千九百七十年代後半が取り合えればその出力電圧ＶＯは追い出す fact13: もしもその千九百七十年代後半は結合蛋白質であるとすれば「それはローテーションする」ということは成り立つ fact14: 「追い出す」物はある fact15: その千九百七十年代後半はローテーションする fact16: そのアルコール依存症者はローテーションする fact17: この今世紀は規定し合うけれど切り合うということはない fact18: 何らかの物はＥＸＥでないとするとそれは結合蛋白質だ fact19: その出力電圧ＶＯはローテーションする fact20: もし仮にそのトーストパンが掴み難くて更に心優しいとすればその千九百七十年代後半はＥＸＥでない fact21: 「そのトーストパンはローテーションする」ということは成り立つ fact22: もしもあるものは泥臭くないなら「それは心優しい」ということは事実である fact23: 仮にその出力電圧ＶＯがローテーションすればそれは泥臭くなくて見舞わない fact24: その出力電圧ＶＯは見舞わない fact25: もしその千九百七十年代後半が追い出すとしたらそれは結合蛋白質である fact26: そのトーストパンは心優しい ; $hypothesis$ = とある物は追い出すけれどそれは泥臭くない ; $proof$ = 
fact5 & fact26 -> int1: そのトーストパンは掴み難いしそれは心優しい; int1 & fact20 -> int2: その千九百七十年代後半はＥＸＥでない; fact18 -> int3: もし仮にその千九百七十年代後半はＥＸＥでないなら結合蛋白質である; int2 & int3 -> int4: 「その千九百七十年代後半は結合蛋白質だ」ということは本当だ; fact10 -> int5: もしその千九百七十年代後半が結合蛋白質ならば取り合える; int4 & int5 -> int6: その千九百七十年代後半は取り合える; int6 & fact12 -> int7: その出力電圧ＶＯは追い出す; fact23 & fact19 -> int8: その出力電圧ＶＯは泥臭くなくておまけにそれは見舞うということはない; int8 -> int9: その出力電圧ＶＯは泥臭くない; int7 & int9 -> int10: その出力電圧ＶＯは追い出す一方でそれは泥臭くない; int10 -> 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: 仮にその出力電圧ＶＯがローテーションすればそれは泥臭くなくて見舞わない
事実24: その出力電圧ＶＯは見舞わない
事実25: もしその千九百七十年代後半が追い出すとしたらそれは結合蛋白質である
事実26: そのトーストパンは心優しい

仮説: とある物は追い出すけれどそれは泥臭くない
1. 事実5と事実26から、推論1: "そのトーストパンは掴み難いしそれは心優しい"が導かれる
2. 推論1と事実20から、推論2: "その千九百七十年代後半はＥＸＥでない"が導かれる
3. 事実18から、推論3: "もし仮にその千九百七十年代後半はＥＸＥでないなら結合蛋白質である"が導かれる
4. 推論2と推論3から、推論4: "「その千九百七十年代後半は結合蛋白質だ」ということは本当だ"が導かれる
5. 事実10から、推論5: "もしその千九百七十年代後半が結合蛋白質ならば取り合える"が導かれる
6. 推論4と推論5から、推論6: "その千九百七十年代後半は取り合える"が導かれる
7. 推論6と事実12から、推論7: "その出力電圧ＶＯは追い出す"が導かれる
8. 事実23と事実19から、推論8: "その出力電圧ＶＯは泥臭くなくておまけにそれは見舞うということはない"が導かれる
9. 推論8から、推論9: "その出力電圧ＶＯは泥臭くない"が導かれる
10. 推論7と推論9から、推論10: "その出力電圧ＶＯは追い出す一方でそれは泥臭くない"が導かれる
11. 推論10から、仮説が導かれる

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