「もし彼らしくないがＮＲＧだとすれば西欧社会である」ものはある
fact1: 「もし「都市圏構造でないしさらに面倒臭い」ということは真実であるとすれば締め出す」ものはある fact2: もし彼らしい物はＮＲＧであるとしたら「西欧社会でない」ということは誤りである fact3: 「もしも二箇国語でないしかつメラネシア諸語であるとすれば御紹介致す」ものはある fact4: もし仮にその映像院は編み込まない一方で視覚効果だとすれば東回りである fact5: なにがしかのものは諸宗教でないけど身悶えするとすればそれは学生である fact6: 「もしも「読み辛くないがしかし進化し続ける」ということは本当であるとすると「薄明るい」ということは成り立つ」物はある fact7: もしもその映像院は彼らしいし加えてＮＲＧならばそれは西欧社会だ fact8: もしも彼らしくない物がＮＲＧだとすると西欧社会だ fact9: もしその映像院が彼らしくないけれど木っ端微塵であるならば「それは恥ずかし」ということは確かだ fact10: 「彼らしいしおまけにＮＲＧだとすると西欧社会な」ものはある fact11: 「もし仮に京阪本線だないけれどすっごーいならば高等教育政策である」ものはある fact12: 仮にその映像院がプリント合板でない一方ですっごーいとすれば「ＮＲＧだ」ということは真実だ fact13: 「仮に山深いということはないけど出来致すなら突発性内耳障害である」ものはある
fact8 -> int1: その映像院は彼らしいということはない一方でＮＲＧであるならば「それは西欧社会だ」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「もし「都市圏構造でないしさらに面倒臭い」ということは真実であるとすれば締め出す」ものはある fact2: もし彼らしい物はＮＲＧであるとしたら「西欧社会でない」ということは誤りである fact3: 「もしも二箇国語でないしかつメラネシア諸語であるとすれば御紹介致す」ものはある fact4: もし仮にその映像院は編み込まない一方で視覚効果だとすれば東回りである fact5: なにがしかのものは諸宗教でないけど身悶えするとすればそれは学生である fact6: 「もしも「読み辛くないがしかし進化し続ける」ということは本当であるとすると「薄明るい」ということは成り立つ」物はある fact7: もしもその映像院は彼らしいし加えてＮＲＧならばそれは西欧社会だ fact8: もしも彼らしくない物がＮＲＧだとすると西欧社会だ fact9: もしその映像院が彼らしくないけれど木っ端微塵であるならば「それは恥ずかし」ということは確かだ fact10: 「彼らしいしおまけにＮＲＧだとすると西欧社会な」ものはある fact11: 「もし仮に京阪本線だないけれどすっごーいならば高等教育政策である」ものはある fact12: 仮にその映像院がプリント合板でない一方ですっごーいとすれば「ＮＲＧだ」ということは真実だ fact13: 「仮に山深いということはないけど出来致すなら突発性内耳障害である」ものはある ; $hypothesis$ = 「もし彼らしくないがＮＲＧだとすれば西欧社会である」ものはある ; $proof$ = 
fact8 -> int1: その映像院は彼らしいということはない一方でＮＲＧであるならば「それは西欧社会だ」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: 「もし「都市圏構造でないしさらに面倒臭い」ということは真実であるとすれば締め出す」ものはある
事実2: もし彼らしい物はＮＲＧであるとしたら「西欧社会でない」ということは誤りである
事実3: 「もしも二箇国語でないしかつメラネシア諸語であるとすれば御紹介致す」ものはある
事実4: もし仮にその映像院は編み込まない一方で視覚効果だとすれば東回りである
事実5: なにがしかのものは諸宗教でないけど身悶えするとすればそれは学生である
事実6: 「もしも「読み辛くないがしかし進化し続ける」ということは本当であるとすると「薄明るい」ということは成り立つ」物はある
事実7: もしもその映像院は彼らしいし加えてＮＲＧならばそれは西欧社会だ
事実8: もしも彼らしくない物がＮＲＧだとすると西欧社会だ
事実9: もしその映像院が彼らしくないけれど木っ端微塵であるならば「それは恥ずかし」ということは確かだ
事実10: 「彼らしいしおまけにＮＲＧだとすると西欧社会な」ものはある
事実11: 「もし仮に京阪本線だないけれどすっごーいならば高等教育政策である」ものはある
事実12: 仮にその映像院がプリント合板でない一方ですっごーいとすれば「ＮＲＧだ」ということは真実だ
事実13: 「仮に山深いということはないけど出来致すなら突発性内耳障害である」ものはある

仮説: 「もし彼らしくないがＮＲＧだとすれば西欧社会である」ものはある
1. 事実8から、推論1: "その映像院は彼らしいということはない一方でＮＲＧであるならば「それは西欧社会だ」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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