このレアル・マドリーは上がり出すということはない
fact1: もし仮になんらかのものが風俗営業だということはないかまたはそれは習熟しないかどちらもだとすれば「習熟するということはない」ということは成り立つ fact2: もしある物は納骨するということはないとすると「その四半期毎は口授しないしかつそれは習熟しない」ということは嘘である fact3: 何かは納骨しない fact4: 誇りっぽくない物は上がり出さない fact5: この液晶テレビは風俗営業でないか習熟しないかどちらもである fact6: 「供託する」物はある fact7: もしも「その四半期毎は口授しないしその上習熟しない」ということは成り立たないとしたらそれは供託する fact8: 仮にその四半期毎が口授しないならばこのレアル・マドリーは上がり出すし納骨する fact9: もし「このレアル・マドリーは習熟しないしおまけに上がり出さない」ということは成り立たないとしたら口授する fact10: 「その四半期毎は推知する」ということは成り立つ fact11: この嫌気性細菌は誇りっぽくないが推知する fact12: 仮にその四半期毎が供託するしさらにそれは推知するとすれば「このレアル・マドリーは誇りっぽいということはない」ということは確かである
fact3 & fact2 -> int1: 「その四半期毎は口授しなくて加えて習熟するということはない」ということは間違いだ; int1 & fact7 -> int2: 「その四半期毎は供託する」ということは真実である; int2 & fact10 -> int3: その四半期毎は供託するし推知する; int3 & fact12 -> int4: このレアル・マドリーは誇りっぽくない; fact4 -> int5: もしもこのレアル・マドリーが誇りっぽいということはないとするとそれは上がり出さない; int4 & int5 -> hypothesis;
このレアル・マドリーは上がり出す
fact15 -> int6: もしこの液晶テレビが風俗営業でないかあるいは習熟しないかまたは両方ともならそれは習熟するということはない; int6 & fact13 -> int7: この液晶テレビは習熟しない; fact14 -> int8: 「誇りっぽいということはなくて推知する」物はある;
$facts$ = fact1: もし仮になんらかのものが風俗営業だということはないかまたはそれは習熟しないかどちらもだとすれば「習熟するということはない」ということは成り立つ fact2: もしある物は納骨するということはないとすると「その四半期毎は口授しないしかつそれは習熟しない」ということは嘘である fact3: 何かは納骨しない fact4: 誇りっぽくない物は上がり出さない fact5: この液晶テレビは風俗営業でないか習熟しないかどちらもである fact6: 「供託する」物はある fact7: もしも「その四半期毎は口授しないしその上習熟しない」ということは成り立たないとしたらそれは供託する fact8: 仮にその四半期毎が口授しないならばこのレアル・マドリーは上がり出すし納骨する fact9: もし「このレアル・マドリーは習熟しないしおまけに上がり出さない」ということは成り立たないとしたら口授する fact10: 「その四半期毎は推知する」ということは成り立つ fact11: この嫌気性細菌は誇りっぽくないが推知する fact12: 仮にその四半期毎が供託するしさらにそれは推知するとすれば「このレアル・マドリーは誇りっぽいということはない」ということは確かである ; $hypothesis$ = このレアル・マドリーは上がり出すということはない ; $proof$ = 
fact3 & fact2 -> int1: 「その四半期毎は口授しなくて加えて習熟するということはない」ということは間違いだ; int1 & fact7 -> int2: 「その四半期毎は供託する」ということは真実である; int2 & fact10 -> int3: その四半期毎は供託するし推知する; int3 & fact12 -> int4: このレアル・マドリーは誇りっぽくない; fact4 -> int5: もしもこのレアル・マドリーが誇りっぽいということはないとするとそれは上がり出さない; int4 & int5 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものが風俗営業だということはないかまたはそれは習熟しないかどちらもだとすれば「習熟するということはない」ということは成り立つ
事実2: もしある物は納骨するということはないとすると「その四半期毎は口授しないしかつそれは習熟しない」ということは嘘である
事実3: 何かは納骨しない
事実4: 誇りっぽくない物は上がり出さない
事実5: この液晶テレビは風俗営業でないか習熟しないかどちらもである
事実6: 「供託する」物はある
事実7: もしも「その四半期毎は口授しないしその上習熟しない」ということは成り立たないとしたらそれは供託する
事実8: 仮にその四半期毎が口授しないならばこのレアル・マドリーは上がり出すし納骨する
事実9: もし「このレアル・マドリーは習熟しないしおまけに上がり出さない」ということは成り立たないとしたら口授する
事実10: 「その四半期毎は推知する」ということは成り立つ
事実11: この嫌気性細菌は誇りっぽくないが推知する
事実12: 仮にその四半期毎が供託するしさらにそれは推知するとすれば「このレアル・マドリーは誇りっぽいということはない」ということは確かである

仮説: このレアル・マドリーは上がり出すということはない
1. 事実3と事実2から、推論1: "「その四半期毎は口授しなくて加えて習熟するということはない」ということは間違いだ"が導かれる
2. 推論1と事実7から、推論2: "「その四半期毎は供託する」ということは真実である"が導かれる
3. 推論2と事実10から、推論3: "その四半期毎は供託するし推知する"が導かれる
4. 推論3と事実12から、推論4: "このレアル・マドリーは誇りっぽくない"が導かれる
5. 事実4から、推論5: "もしもこのレアル・マドリーが誇りっぽいということはないとするとそれは上がり出さない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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