「もしも「小さくないかもしくは網膜血管でないかもしくはどちらもだ」ということは誤りだとしたら旅立つ」ものはある
fact1: もしも「あのハビタブルゾーンは小さいかあるいは網膜血管でない」ということは嘘であるとしたら「それは旅立つ」ということは成り立つ fact2: 「「厚かましくないかもしくはＭＡＰＰでない」ということは成り立たないとすれば七十二条違反な」物はある fact3: もし仮に「あのハビタブルゾーンは聞き合わないかもしくは田舎臭くない」ということは成り立たないとするとそれは旅立つ fact4: 「もし仮に「小さくないか網膜血管であるかあるいはどちらもである」ということは成り立たないなら旅立つ」物はある fact5: もしも「その酸触媒反応は子供らしいということはないかもしくは旅立たないかまたは両方だ」ということは間違いであるとするとばあかしい fact6: 「もし小さくないか網膜血管だということはないかまたはどちらもだとすれば旅立つ」物はある fact7: もし「あのハビタブルゾーンは小さくないか網膜血管でないか両方である」ということは事実と異なるとするとそれは旅立つ fact8: もし仮に「何らかの物は由々しないかもしくはイギリス経済でないかあるいは両方だ」ということは間違っていれば荷重する fact9: 「もしも「例外無いかまたは茹でないかもしくは両方である」ということは成り立たないとすると燃え易い」ものはある fact10: もしも「あのハビタブルゾーンは小さくないかそれは網膜血管であるかもしくはどちらもだ」ということは偽だとすると旅立つ fact11: もしも「あのハビタブルゾーンは加勢しないか忙しなくないかもしくは両方ともだ」ということは偽であるならば突然死だ fact12: 「仮に「見向くかもしくは製造しないかもしくは両方だ」ということは誤っているとすれば道徳経である」ものはある fact13: 「もしも「謁見しないかもしくは観覧しない」ということは成り立たないならば田舎臭い」ものはある fact14: もし「「あのハビタブルゾーンは間断無くないかそれは無毛でないかあるいは両方ともだ」ということは誤りでない」ということは成り立たないならそれは網膜血管だ fact15: もしもあのハビタブルゾーンが小さくないか網膜血管でないとしたらそれは旅立つ
fact7 -> hypothesis;
「仮に「由々しないかイギリス経済でない」ということは誤りだとすれば「荷重する」ということは真実である」ものはある
fact16 -> int1: もしも「このコア技術は由々しないかあるいはそれはイギリス経済でないかもしくは両方ともである」ということは成り立たないならば荷重する; int1 -> hypothesis;
$facts$ = fact1: もしも「あのハビタブルゾーンは小さいかあるいは網膜血管でない」ということは嘘であるとしたら「それは旅立つ」ということは成り立つ fact2: 「「厚かましくないかもしくはＭＡＰＰでない」ということは成り立たないとすれば七十二条違反な」物はある fact3: もし仮に「あのハビタブルゾーンは聞き合わないかもしくは田舎臭くない」ということは成り立たないとするとそれは旅立つ fact4: 「もし仮に「小さくないか網膜血管であるかあるいはどちらもである」ということは成り立たないなら旅立つ」物はある fact5: もしも「その酸触媒反応は子供らしいということはないかもしくは旅立たないかまたは両方だ」ということは間違いであるとするとばあかしい fact6: 「もし小さくないか網膜血管だということはないかまたはどちらもだとすれば旅立つ」物はある fact7: もし「あのハビタブルゾーンは小さくないか網膜血管でないか両方である」ということは事実と異なるとするとそれは旅立つ fact8: もし仮に「何らかの物は由々しないかもしくはイギリス経済でないかあるいは両方だ」ということは間違っていれば荷重する fact9: 「もしも「例外無いかまたは茹でないかもしくは両方である」ということは成り立たないとすると燃え易い」ものはある fact10: もしも「あのハビタブルゾーンは小さくないかそれは網膜血管であるかもしくはどちらもだ」ということは偽だとすると旅立つ fact11: もしも「あのハビタブルゾーンは加勢しないか忙しなくないかもしくは両方ともだ」ということは偽であるならば突然死だ fact12: 「仮に「見向くかもしくは製造しないかもしくは両方だ」ということは誤っているとすれば道徳経である」ものはある fact13: 「もしも「謁見しないかもしくは観覧しない」ということは成り立たないならば田舎臭い」ものはある fact14: もし「「あのハビタブルゾーンは間断無くないかそれは無毛でないかあるいは両方ともだ」ということは誤りでない」ということは成り立たないならそれは網膜血管だ fact15: もしもあのハビタブルゾーンが小さくないか網膜血管でないとしたらそれは旅立つ ; $hypothesis$ = 「もしも「小さくないかもしくは網膜血管でないかもしくはどちらもだ」ということは誤りだとしたら旅立つ」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もしも「あのハビタブルゾーンは小さいかあるいは網膜血管でない」ということは嘘であるとしたら「それは旅立つ」ということは成り立つ
事実2: 「「厚かましくないかもしくはＭＡＰＰでない」ということは成り立たないとすれば七十二条違反な」物はある
事実3: もし仮に「あのハビタブルゾーンは聞き合わないかもしくは田舎臭くない」ということは成り立たないとするとそれは旅立つ
事実4: 「もし仮に「小さくないか網膜血管であるかあるいはどちらもである」ということは成り立たないなら旅立つ」物はある
事実5: もしも「その酸触媒反応は子供らしいということはないかもしくは旅立たないかまたは両方だ」ということは間違いであるとするとばあかしい
事実6: 「もし小さくないか網膜血管だということはないかまたはどちらもだとすれば旅立つ」物はある
事実7: もし「あのハビタブルゾーンは小さくないか網膜血管でないか両方である」ということは事実と異なるとするとそれは旅立つ
事実8: もし仮に「何らかの物は由々しないかもしくはイギリス経済でないかあるいは両方だ」ということは間違っていれば荷重する
事実9: 「もしも「例外無いかまたは茹でないかもしくは両方である」ということは成り立たないとすると燃え易い」ものはある
事実10: もしも「あのハビタブルゾーンは小さくないかそれは網膜血管であるかもしくはどちらもだ」ということは偽だとすると旅立つ
事実11: もしも「あのハビタブルゾーンは加勢しないか忙しなくないかもしくは両方ともだ」ということは偽であるならば突然死だ
事実12: 「仮に「見向くかもしくは製造しないかもしくは両方だ」ということは誤っているとすれば道徳経である」ものはある
事実13: 「もしも「謁見しないかもしくは観覧しない」ということは成り立たないならば田舎臭い」ものはある
事実14: もし「「あのハビタブルゾーンは間断無くないかそれは無毛でないかあるいは両方ともだ」ということは誤りでない」ということは成り立たないならそれは網膜血管だ
事実15: もしもあのハビタブルゾーンが小さくないか網膜血管でないとしたらそれは旅立つ

仮説: 「もしも「小さくないかもしくは網膜血管でないかもしくはどちらもだ」ということは誤りだとしたら旅立つ」ものはある
1. 事実7から、仮説が導かれる

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