「その珊瑚は慣れないし更に共同主観的構造でない」ということは確かでないならそれは危うくない
fact1: 「何らかのものは上がり出さないしその上すげなくない」ということは間違っているとしたらそれは両親でない fact2: もしもその珊瑚が慣れないしおまけに共同主観的構造でないとするとそれは危うくない fact3: 仮に「何かは慣れないしそれは共同主観的構造でない」ということは間違っていれば危うくない fact4: もしもとある物は慣れるなら「それは危うくない」ということは正しい fact5: 「その珊瑚は慣れるということはないがそれは共同主観的構造である」ということは間違いだとするとそれは危うくない fact6: 仮に「あるものは慣れないがしかし共同主観的構造である」ということは成り立たないとすればそれは危うくない fact7: 仮に「ある物は成され易くないしさらに打っ飛ばさない」ということは確かでないとしたらそれは炒め合わせらない fact8: もしも「その珊瑚は慣れないし共同主観的構造でない」ということは誤りであるとすると危うい fact9: もし仮に「なにがしかのものは慣れないしそれは共同主観的構造でない」ということは本当ならそれは危うくない fact10: もし仮に「あの右側は明け渡し請求でないしそれは危うくない」ということは事実と異なるなら副腎性アンドロゲンでない fact11: 仮に「その珊瑚はゴルフ部でないし加えて共同主観的構造でない」ということは間違いであるとすれば無実である fact12: 仮に「とあるものは慣れないし共同主観的構造でない」ということは確かでないとしたらそれは危うい fact13: もしも「「何らかのものは同一デザインでないしそれに決め難くない」ということは成り立つ」ということは成り立たないとすればそれは用心深くない fact14: 「あの類人猿が御入らないしさらに危うくない」ということは誤っているなら弾け飛ぶ fact15: 「なにがしかのものは仕方無いということはないし近衛でない」ということは本当でないとしたらそれは明け渡し請求でない fact16: 「「その十六世紀後半は訳者でないし更に熱帯植物であるということはない」ということは正しい」ということは成り立つということはないとするとそれは慣れるということはない fact17: もし仮にその珊瑚が慣れるとすれば危うくない fact18: 「仮に「とあるものは難しかないし自然体験でない」ということは誤っているならそれは面倒臭くない」ということは誤りでない fact19: もし仮に「その珊瑚が弾け飛ぶということはないしさらにそれは慣れない」ということは嘘ならそれは削れる
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 「何らかのものは上がり出さないしその上すげなくない」ということは間違っているとしたらそれは両親でない fact2: もしもその珊瑚が慣れないしおまけに共同主観的構造でないとするとそれは危うくない fact3: 仮に「何かは慣れないしそれは共同主観的構造でない」ということは間違っていれば危うくない fact4: もしもとある物は慣れるなら「それは危うくない」ということは正しい fact5: 「その珊瑚は慣れるということはないがそれは共同主観的構造である」ということは間違いだとするとそれは危うくない fact6: 仮に「あるものは慣れないがしかし共同主観的構造である」ということは成り立たないとすればそれは危うくない fact7: 仮に「ある物は成され易くないしさらに打っ飛ばさない」ということは確かでないとしたらそれは炒め合わせらない fact8: もしも「その珊瑚は慣れないし共同主観的構造でない」ということは誤りであるとすると危うい fact9: もし仮に「なにがしかのものは慣れないしそれは共同主観的構造でない」ということは本当ならそれは危うくない fact10: もし仮に「あの右側は明け渡し請求でないしそれは危うくない」ということは事実と異なるなら副腎性アンドロゲンでない fact11: 仮に「その珊瑚はゴルフ部でないし加えて共同主観的構造でない」ということは間違いであるとすれば無実である fact12: 仮に「とあるものは慣れないし共同主観的構造でない」ということは確かでないとしたらそれは危うい fact13: もしも「「何らかのものは同一デザインでないしそれに決め難くない」ということは成り立つ」ということは成り立たないとすればそれは用心深くない fact14: 「あの類人猿が御入らないしさらに危うくない」ということは誤っているなら弾け飛ぶ fact15: 「なにがしかのものは仕方無いということはないし近衛でない」ということは本当でないとしたらそれは明け渡し請求でない fact16: 「「その十六世紀後半は訳者でないし更に熱帯植物であるということはない」ということは正しい」ということは成り立つということはないとするとそれは慣れるということはない fact17: もし仮にその珊瑚が慣れるとすれば危うくない fact18: 「仮に「とあるものは難しかないし自然体験でない」ということは誤っているならそれは面倒臭くない」ということは誤りでない fact19: もし仮に「その珊瑚が弾け飛ぶということはないしさらにそれは慣れない」ということは嘘ならそれは削れる ; $hypothesis$ = 「その珊瑚は慣れないし更に共同主観的構造でない」ということは確かでないならそれは危うくない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「何らかのものは上がり出さないしその上すげなくない」ということは間違っているとしたらそれは両親でない
事実2: もしもその珊瑚が慣れないしおまけに共同主観的構造でないとするとそれは危うくない
事実3: 仮に「何かは慣れないしそれは共同主観的構造でない」ということは間違っていれば危うくない
事実4: もしもとある物は慣れるなら「それは危うくない」ということは正しい
事実5: 「その珊瑚は慣れるということはないがそれは共同主観的構造である」ということは間違いだとするとそれは危うくない
事実6: 仮に「あるものは慣れないがしかし共同主観的構造である」ということは成り立たないとすればそれは危うくない
事実7: 仮に「ある物は成され易くないしさらに打っ飛ばさない」ということは確かでないとしたらそれは炒め合わせらない
事実8: もしも「その珊瑚は慣れないし共同主観的構造でない」ということは誤りであるとすると危うい
事実9: もし仮に「なにがしかのものは慣れないしそれは共同主観的構造でない」ということは本当ならそれは危うくない
事実10: もし仮に「あの右側は明け渡し請求でないしそれは危うくない」ということは事実と異なるなら副腎性アンドロゲンでない
事実11: 仮に「その珊瑚はゴルフ部でないし加えて共同主観的構造でない」ということは間違いであるとすれば無実である
事実12: 仮に「とあるものは慣れないし共同主観的構造でない」ということは確かでないとしたらそれは危うい
事実13: もしも「「何らかのものは同一デザインでないしそれに決め難くない」ということは成り立つ」ということは成り立たないとすればそれは用心深くない
事実14: 「あの類人猿が御入らないしさらに危うくない」ということは誤っているなら弾け飛ぶ
事実15: 「なにがしかのものは仕方無いということはないし近衛でない」ということは本当でないとしたらそれは明け渡し請求でない
事実16: 「「その十六世紀後半は訳者でないし更に熱帯植物であるということはない」ということは正しい」ということは成り立つということはないとするとそれは慣れるということはない
事実17: もし仮にその珊瑚が慣れるとすれば危うくない
事実18: 「仮に「とあるものは難しかないし自然体験でない」ということは誤っているならそれは面倒臭くない」ということは誤りでない
事実19: もし仮に「その珊瑚が弾け飛ぶということはないしさらにそれは慣れない」ということは嘘ならそれは削れる

仮説: 「その珊瑚は慣れないし更に共同主観的構造でない」ということは確かでないならそれは危うくない
1. 事実3から、仮説が導かれる

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