「もし遡行するとすると「黒鉛でないがしかしインターレグだ」ということは間違っている」ものはある
fact1: もし仮にこのベシクルは黒鉛だとすれば「御座候わないがジブラルタル海峡だ」ということは真実でない fact2: 「もしもセクシュアリティ概念だとしたら「恐ろしくないし環境活動だ」ということは偽な」物はある fact3: 「もしも成り難いならば「「肉壁であるしその上借り入れる」ということは本当である」ということは成り立たない」物はある fact4: もし仮にそのエジェクタサイクルは遡行するとすれば「肉壁でなくてかつそれは結婚詐欺だ」ということは成り立たない fact5: 「図り難いなら「擦り込まないがしかし平等性だ」ということは事実でない」ものはある fact6: 「もし仮に死者儀礼であるならば「無限概念でないし重々しい」ということは事実と異なる」物はある fact7: もしもこのベシクルは遡行するとしたら「黒鉛で更にそれはインターレグである」ということは成り立たない fact8: このベシクルは遡行するとしたら「黒鉛でなくてその上インターレグだ」ということは間違いである fact9: 「もし仮に燃え出すなら「外国所得税でないがしかし現われ難い」ということは成り立たない」物はある fact10: 仮にこのベシクルは黒鉛ならば「それは買い物しないし彼女らしい」ということは成り立たない fact11: 仮にこのベシクルは総合芸術だとすると「遡行するということはないけれど対象物だ」ということは誤っている fact12: 「仮にこのベシクルが遡行するとするとこのベシクルは黒鉛でない一方でインターレグだ」ということは事実だ fact13: もしも何かは作画監督だとすると「立ち往生するということはないが買い物する」ということは成り立たない fact14: 「購入額なら「遣らうしそれに現われ難い」ということは間違っている」ものはある fact15: 「仮にカーブするなら「対局するということはなくて染み通る」ということは誤っている」ものはある fact16: もしもあるものはインターレグだとしたら「ギリシャ彫刻でないししかもスムージングする」ということは成り立たない fact17: もしもこの狂言師は遡行するなら「結婚詐欺でないがしかしディスカッションする」ということは間違いだ fact18: なんらかのものは悩み始めれば「売り為さらないが遡行する」ということは成り立つということはない fact19: 「もし仮に遡行するなら黒鉛であるということはなくてインターレグである」物はある fact20: 「仮に遡行するなら「黒鉛だしインターレグだ」ということは成り立たない」物はある
fact8 -> hypothesis;
「もし仮に作画監督であるなら「立ち往生しないが買い物する」ということは成り立たない」物はある
fact21 -> int1: もし仮にその不安定要素は作画監督であるとすれば「立ち往生しないしそれにそれは買い物する」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もし仮にこのベシクルは黒鉛だとすれば「御座候わないがジブラルタル海峡だ」ということは真実でない fact2: 「もしもセクシュアリティ概念だとしたら「恐ろしくないし環境活動だ」ということは偽な」物はある fact3: 「もしも成り難いならば「「肉壁であるしその上借り入れる」ということは本当である」ということは成り立たない」物はある fact4: もし仮にそのエジェクタサイクルは遡行するとすれば「肉壁でなくてかつそれは結婚詐欺だ」ということは成り立たない fact5: 「図り難いなら「擦り込まないがしかし平等性だ」ということは事実でない」ものはある fact6: 「もし仮に死者儀礼であるならば「無限概念でないし重々しい」ということは事実と異なる」物はある fact7: もしもこのベシクルは遡行するとしたら「黒鉛で更にそれはインターレグである」ということは成り立たない fact8: このベシクルは遡行するとしたら「黒鉛でなくてその上インターレグだ」ということは間違いである fact9: 「もし仮に燃え出すなら「外国所得税でないがしかし現われ難い」ということは成り立たない」物はある fact10: 仮にこのベシクルは黒鉛ならば「それは買い物しないし彼女らしい」ということは成り立たない fact11: 仮にこのベシクルは総合芸術だとすると「遡行するということはないけれど対象物だ」ということは誤っている fact12: 「仮にこのベシクルが遡行するとするとこのベシクルは黒鉛でない一方でインターレグだ」ということは事実だ fact13: もしも何かは作画監督だとすると「立ち往生するということはないが買い物する」ということは成り立たない fact14: 「購入額なら「遣らうしそれに現われ難い」ということは間違っている」ものはある fact15: 「仮にカーブするなら「対局するということはなくて染み通る」ということは誤っている」ものはある fact16: もしもあるものはインターレグだとしたら「ギリシャ彫刻でないししかもスムージングする」ということは成り立たない fact17: もしもこの狂言師は遡行するなら「結婚詐欺でないがしかしディスカッションする」ということは間違いだ fact18: なんらかのものは悩み始めれば「売り為さらないが遡行する」ということは成り立つということはない fact19: 「もし仮に遡行するなら黒鉛であるということはなくてインターレグである」物はある fact20: 「仮に遡行するなら「黒鉛だしインターレグだ」ということは成り立たない」物はある ; $hypothesis$ = 「もし遡行するとすると「黒鉛でないがしかしインターレグだ」ということは間違っている」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし仮にこのベシクルは黒鉛だとすれば「御座候わないがジブラルタル海峡だ」ということは真実でない
事実2: 「もしもセクシュアリティ概念だとしたら「恐ろしくないし環境活動だ」ということは偽な」物はある
事実3: 「もしも成り難いならば「「肉壁であるしその上借り入れる」ということは本当である」ということは成り立たない」物はある
事実4: もし仮にそのエジェクタサイクルは遡行するとすれば「肉壁でなくてかつそれは結婚詐欺だ」ということは成り立たない
事実5: 「図り難いなら「擦り込まないがしかし平等性だ」ということは事実でない」ものはある
事実6: 「もし仮に死者儀礼であるならば「無限概念でないし重々しい」ということは事実と異なる」物はある
事実7: もしもこのベシクルは遡行するとしたら「黒鉛で更にそれはインターレグである」ということは成り立たない
事実8: このベシクルは遡行するとしたら「黒鉛でなくてその上インターレグだ」ということは間違いである
事実9: 「もし仮に燃え出すなら「外国所得税でないがしかし現われ難い」ということは成り立たない」物はある
事実10: 仮にこのベシクルは黒鉛ならば「それは買い物しないし彼女らしい」ということは成り立たない
事実11: 仮にこのベシクルは総合芸術だとすると「遡行するということはないけれど対象物だ」ということは誤っている
事実12: 「仮にこのベシクルが遡行するとするとこのベシクルは黒鉛でない一方でインターレグだ」ということは事実だ
事実13: もしも何かは作画監督だとすると「立ち往生するということはないが買い物する」ということは成り立たない
事実14: 「購入額なら「遣らうしそれに現われ難い」ということは間違っている」ものはある
事実15: 「仮にカーブするなら「対局するということはなくて染み通る」ということは誤っている」ものはある
事実16: もしもあるものはインターレグだとしたら「ギリシャ彫刻でないししかもスムージングする」ということは成り立たない
事実17: もしもこの狂言師は遡行するなら「結婚詐欺でないがしかしディスカッションする」ということは間違いだ
事実18: なんらかのものは悩み始めれば「売り為さらないが遡行する」ということは成り立つということはない
事実19: 「もし仮に遡行するなら黒鉛であるということはなくてインターレグである」物はある
事実20: 「仮に遡行するなら「黒鉛だしインターレグだ」ということは成り立たない」物はある

仮説: 「もし遡行するとすると「黒鉛でないがしかしインターレグだ」ということは間違っている」ものはある
1. 事実8から、仮説が導かれる

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