「もし仮に「荒稼ぎするかまたは達成すらないか両方ともである」ということは偽だとすれば作成時でない」ものはある
fact1: 「もし仮に「連想し易いか物真似しないかもしくは両方だ」ということは誤りだとしたら交合しない」物はある fact2: もし「「何かは伝統的集団であるか達成すということはないかあるいは両方ともだ」ということは本当である」ということは間違いならば説明し得ない fact3: 「仮に「荒稼ぎするかあるいは達成す」ということは間違っているなら作成時でない」物はある fact4: 「仮に「「荒稼ぎするかもしくは達成すということはない」ということは成り立つ」ということは誤っているとすれば作成時な」物はある fact5: もし「この独演会はエストラゴンであるかもしくは達成すということはない」ということは確かでないとすると「決算書上でない」ということは確かだ fact6: 「この独演会は致し方であるかまたはそれは春らしくないかまたは両方だ」ということは事実と異なるとすれば作成時でない fact7: 「この独演会は荒稼ぎするか達成すということはない」ということは真実でないなら作成時だ fact8: 「「この独演会は荒稼ぎするかあるいは達成すか両方ともだ」ということは成り立たない」ということは成り立つとするとそれは作成時でない fact9: もしも「この独演会は荒稼ぎするかまたは達成すらない」ということは本当だということはないならばそれは作成時であるということはない fact10: 「もしも「開山するかあるいは引き当て計上しないかあるいは両方ともだ」ということは成り立たないならばすげなくない」ものはある fact11: 「「相応しいか逆流しないかもしくはどちらもである」ということは成り立たないなら受け渡ししない」物はある fact12: 「あの兄者はエンベロープであるかあるいはすごーくないかあるいはどちらもだ」ということは間違いであるなら荒稼ぎしない fact13: 「もし仮に荒稼ぎするかあるいは達成すらないならば作成時でない」ものはある fact14: この独演会が荒稼ぎするかもしくは達成すらないかまたはどちらもであるとしたらそれは作成時でない fact15: 「もし「呼ばわりするか変わり易くないかあるいはどちらもである」ということは嘘であるとすれば産地直送でない」ものはある fact16: 「仮に「湛えるかもしくは人らしいということはないかまたはどちらもである」ということは嘘であるならば布子でない」物はある
fact9 -> hypothesis;
fact9 -> hypothesis;
「その税引き前利益は伝統的集団であるかまたは達成すということはない」ということは成り立つということはないなら説明し得るということはない
fact17 -> hypothesis;
$facts$ = fact1: 「もし仮に「連想し易いか物真似しないかもしくは両方だ」ということは誤りだとしたら交合しない」物はある fact2: もし「「何かは伝統的集団であるか達成すということはないかあるいは両方ともだ」ということは本当である」ということは間違いならば説明し得ない fact3: 「仮に「荒稼ぎするかあるいは達成す」ということは間違っているなら作成時でない」物はある fact4: 「仮に「「荒稼ぎするかもしくは達成すということはない」ということは成り立つ」ということは誤っているとすれば作成時な」物はある fact5: もし「この独演会はエストラゴンであるかもしくは達成すということはない」ということは確かでないとすると「決算書上でない」ということは確かだ fact6: 「この独演会は致し方であるかまたはそれは春らしくないかまたは両方だ」ということは事実と異なるとすれば作成時でない fact7: 「この独演会は荒稼ぎするか達成すということはない」ということは真実でないなら作成時だ fact8: 「「この独演会は荒稼ぎするかあるいは達成すか両方ともだ」ということは成り立たない」ということは成り立つとするとそれは作成時でない fact9: もしも「この独演会は荒稼ぎするかまたは達成すらない」ということは本当だということはないならばそれは作成時であるということはない fact10: 「もしも「開山するかあるいは引き当て計上しないかあるいは両方ともだ」ということは成り立たないならばすげなくない」ものはある fact11: 「「相応しいか逆流しないかもしくはどちらもである」ということは成り立たないなら受け渡ししない」物はある fact12: 「あの兄者はエンベロープであるかあるいはすごーくないかあるいはどちらもだ」ということは間違いであるなら荒稼ぎしない fact13: 「もし仮に荒稼ぎするかあるいは達成すらないならば作成時でない」ものはある fact14: この独演会が荒稼ぎするかもしくは達成すらないかまたはどちらもであるとしたらそれは作成時でない fact15: 「もし「呼ばわりするか変わり易くないかあるいはどちらもである」ということは嘘であるとすれば産地直送でない」ものはある fact16: 「仮に「湛えるかもしくは人らしいということはないかまたはどちらもである」ということは嘘であるならば布子でない」物はある ; $hypothesis$ = 「もし仮に「荒稼ぎするかまたは達成すらないか両方ともである」ということは偽だとすれば作成時でない」ものはある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 「もし仮に「連想し易いか物真似しないかもしくは両方だ」ということは誤りだとしたら交合しない」物はある
事実2: もし「「何かは伝統的集団であるか達成すということはないかあるいは両方ともだ」ということは本当である」ということは間違いならば説明し得ない
事実3: 「仮に「荒稼ぎするかあるいは達成す」ということは間違っているなら作成時でない」物はある
事実4: 「仮に「「荒稼ぎするかもしくは達成すということはない」ということは成り立つ」ということは誤っているとすれば作成時な」物はある
事実5: もし「この独演会はエストラゴンであるかもしくは達成すということはない」ということは確かでないとすると「決算書上でない」ということは確かだ
事実6: 「この独演会は致し方であるかまたはそれは春らしくないかまたは両方だ」ということは事実と異なるとすれば作成時でない
事実7: 「この独演会は荒稼ぎするか達成すということはない」ということは真実でないなら作成時だ
事実8: 「「この独演会は荒稼ぎするかあるいは達成すか両方ともだ」ということは成り立たない」ということは成り立つとするとそれは作成時でない
事実9: もしも「この独演会は荒稼ぎするかまたは達成すらない」ということは本当だということはないならばそれは作成時であるということはない
事実10: 「もしも「開山するかあるいは引き当て計上しないかあるいは両方ともだ」ということは成り立たないならばすげなくない」ものはある
事実11: 「「相応しいか逆流しないかもしくはどちらもである」ということは成り立たないなら受け渡ししない」物はある
事実12: 「あの兄者はエンベロープであるかあるいはすごーくないかあるいはどちらもだ」ということは間違いであるなら荒稼ぎしない
事実13: 「もし仮に荒稼ぎするかあるいは達成すらないならば作成時でない」ものはある
事実14: この独演会が荒稼ぎするかもしくは達成すらないかまたはどちらもであるとしたらそれは作成時でない
事実15: 「もし「呼ばわりするか変わり易くないかあるいはどちらもである」ということは嘘であるとすれば産地直送でない」ものはある
事実16: 「仮に「湛えるかもしくは人らしいということはないかまたはどちらもである」ということは嘘であるならば布子でない」物はある

仮説: 「もし仮に「荒稼ぎするかまたは達成すらないか両方ともである」ということは偽だとすれば作成時でない」ものはある
1. 事実9から、仮説が導かれる

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