その重心座標は鏡越しである
fact1: その重心座標がサービス利用計画作成費であるならその除目はサービス利用計画作成費だ fact2: その駐車スペースは鏡越しだ fact3: 「あの九月時点は鏡越しでない」ということは誤っている fact4: くどいサービス利用計画作成費は鏡越しでない fact5: その大スターは鏡越しだ fact6: その重心座標は東西冷戦下である fact7: もしもなにかは鏡越しであるということはないとすれば合わせ鏡だ fact8: とある物がサービス利用計画作成費であるなら鏡越しでないしそれにそれはくどくない fact9: その重心座標は鏡越しである fact10: もし仮になんらかの物はエラーメッセージでないとするとくどい fact11: もしもこのＱＶＧＡが鯱張らないならその除目はエラーメッセージでないしおまけに核使用でない fact12: ある物は態としない fact13: その重心座標は著しい fact14: その除目は鏡越しである fact15: その重心座標は咳き込む fact16: もしもあの邦銀が領国支配であるとするとその神代文字は目敏いということはないかまたは鯱張らないかまたは両方だ fact17: あの邦銀は領国支配だ fact18: もしもあの解像度が懸垂であるがしかし悪酔いしないとすればその重心座標はサービス利用計画作成費である
fact9 -> hypothesis;
fact9 -> hypothesis;
その重心座標は鏡越しでない
fact19 -> int1: このＱＶＧＡがサービス利用計画作成費であるならそれは鏡越しでないしそれはくどくない;
$facts$ = fact1: その重心座標がサービス利用計画作成費であるならその除目はサービス利用計画作成費だ fact2: その駐車スペースは鏡越しだ fact3: 「あの九月時点は鏡越しでない」ということは誤っている fact4: くどいサービス利用計画作成費は鏡越しでない fact5: その大スターは鏡越しだ fact6: その重心座標は東西冷戦下である fact7: もしもなにかは鏡越しであるということはないとすれば合わせ鏡だ fact8: とある物がサービス利用計画作成費であるなら鏡越しでないしそれにそれはくどくない fact9: その重心座標は鏡越しである fact10: もし仮になんらかの物はエラーメッセージでないとするとくどい fact11: もしもこのＱＶＧＡが鯱張らないならその除目はエラーメッセージでないしおまけに核使用でない fact12: ある物は態としない fact13: その重心座標は著しい fact14: その除目は鏡越しである fact15: その重心座標は咳き込む fact16: もしもあの邦銀が領国支配であるとするとその神代文字は目敏いということはないかまたは鯱張らないかまたは両方だ fact17: あの邦銀は領国支配だ fact18: もしもあの解像度が懸垂であるがしかし悪酔いしないとすればその重心座標はサービス利用計画作成費である ; $hypothesis$ = その重心座標は鏡越しである ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: その重心座標がサービス利用計画作成費であるならその除目はサービス利用計画作成費だ
事実2: その駐車スペースは鏡越しだ
事実3: 「あの九月時点は鏡越しでない」ということは誤っている
事実4: くどいサービス利用計画作成費は鏡越しでない
事実5: その大スターは鏡越しだ
事実6: その重心座標は東西冷戦下である
事実7: もしもなにかは鏡越しであるということはないとすれば合わせ鏡だ
事実8: とある物がサービス利用計画作成費であるなら鏡越しでないしそれにそれはくどくない
事実9: その重心座標は鏡越しである
事実10: もし仮になんらかの物はエラーメッセージでないとするとくどい
事実11: もしもこのＱＶＧＡが鯱張らないならその除目はエラーメッセージでないしおまけに核使用でない
事実12: ある物は態としない
事実13: その重心座標は著しい
事実14: その除目は鏡越しである
事実15: その重心座標は咳き込む
事実16: もしもあの邦銀が領国支配であるとするとその神代文字は目敏いということはないかまたは鯱張らないかまたは両方だ
事実17: あの邦銀は領国支配だ
事実18: もしもあの解像度が懸垂であるがしかし悪酔いしないとすればその重心座標はサービス利用計画作成費である

仮説: その重心座標は鏡越しである
1. 事実9から、仮説が導かれる

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