「もし「和訳するということはないか湿っぽいかあるいはどちらもだ」ということは偽であるならば「煙たくない」ということは事実である」ものはある
fact1: 「「仮に「全日本でないか中止ボタンであるか両方だ」ということは誤りであるとしたら「離心率だということはない」ということは成り立つ」物はある」ということは事実だ fact2: もしも「その立ち退き料は有り難くないか掲示するかあるいはどちらもである」ということは成り立たないなら煙たくない fact3: 「もし「和訳しないかもしくは湿っぽいか両方ともだ」ということは成り立たないならば煙たい」ものはある fact4: もし「この不安感情は和訳するかあるいはそれは湿っぽいか両方ともである」ということは間違っているとするとそれは煙たくない fact5: 仮に「ある物はサクラル・チャクラでないかもしくはそれは糞親父である」ということは誤っているならそれはぴくぴくしない fact6: 「もしも和訳しないかまたは湿っぽいかあるいはどちらもであるならば煙たくない」物はある fact7: もし「あの製造面は進み出さないかまたは湿っぽいかもしくは両方である」ということは誤っていれば有り難くない fact8: 「もしも「東洋学でないか八倍速であるかまたは両方である」ということは偽だとすれば心血管障害でない」ものはある fact9: もしも「この非定型抗酸菌は私法行為でないかもしくは東光博英訳であるかあるいは両方ともである」ということは間違いであるとしたらそれは湿っぽくない fact10: 「もし「第八章参照でないかもしくは欺罔するかまたは両方だ」ということは成り立たないとすれば引き合わさない」物はある fact11: もし「この不安感情は和訳するということはないかもしくは湿っぽい」ということは間違いであるならば煙たくない fact12: もしもこの不安感情が和訳しないかもしくはそれは湿っぽいか両方ともならばそれは煙たくない fact13: 仮に「この不安感情は傷付き易くないかそれは信書であるかもしくは両方ともである」ということは本当でないとすれば煙たくない fact14: 「もし仮に「スモールだということはないかあるいは泥鰐であるかまたは両方ともである」ということは事実と異なれば安しない」物はある fact15: もし「この不安感情は和訳するということはないか湿っぽいかまたは両方ともだ」ということは成り立たないとしたらそれは煙たい fact16: もし仮に「あの個人補償は和訳しないかあるいは縛るかまたは両方ともだ」ということは誤っているとすればそれはしくじるということはない fact17: 「もし「盗み出さないかまたは書き継ぐかもしくは両方だ」ということは間違っていれば拡大幹事会でない」ものはある fact18: 「この不安感情は信書でないかもしくは和訳するかあるいは両方だ」ということは事実と異なるならそれは小難しくない fact19: 「この不安感情は低糖度でないかもしくはそれは着手日だ」ということは事実と異なるならそれは私法行為でない fact20: 「仮に「刻み付けるということはないかあるいは透かすかもしくは両方である」ということは嘘であるならカールしない」ものはある fact21: 「もしも「和訳するかもしくは湿っぽいかもしくは両方である」ということは成り立たないとすれば煙たくない」物はある
fact11 -> hypothesis;
「もしも「サクラル・チャクラでないか糞親父である」ということは真実だということはないとするとぴくぴくしない」物はある
fact22 -> int1: もし仮に「その象牙質はサクラル・チャクラでないかあるいはそれは糞親父だ」ということは誤っているとすればぴくぴくしない; int1 -> hypothesis;
$facts$ = fact1: 「「仮に「全日本でないか中止ボタンであるか両方だ」ということは誤りであるとしたら「離心率だということはない」ということは成り立つ」物はある」ということは事実だ fact2: もしも「その立ち退き料は有り難くないか掲示するかあるいはどちらもである」ということは成り立たないなら煙たくない fact3: 「もし「和訳しないかもしくは湿っぽいか両方ともだ」ということは成り立たないならば煙たい」ものはある fact4: もし「この不安感情は和訳するかあるいはそれは湿っぽいか両方ともである」ということは間違っているとするとそれは煙たくない fact5: 仮に「ある物はサクラル・チャクラでないかもしくはそれは糞親父である」ということは誤っているならそれはぴくぴくしない fact6: 「もしも和訳しないかまたは湿っぽいかあるいはどちらもであるならば煙たくない」物はある fact7: もし「あの製造面は進み出さないかまたは湿っぽいかもしくは両方である」ということは誤っていれば有り難くない fact8: 「もしも「東洋学でないか八倍速であるかまたは両方である」ということは偽だとすれば心血管障害でない」ものはある fact9: もしも「この非定型抗酸菌は私法行為でないかもしくは東光博英訳であるかあるいは両方ともである」ということは間違いであるとしたらそれは湿っぽくない fact10: 「もし「第八章参照でないかもしくは欺罔するかまたは両方だ」ということは成り立たないとすれば引き合わさない」物はある fact11: もし「この不安感情は和訳するということはないかもしくは湿っぽい」ということは間違いであるならば煙たくない fact12: もしもこの不安感情が和訳しないかもしくはそれは湿っぽいか両方ともならばそれは煙たくない fact13: 仮に「この不安感情は傷付き易くないかそれは信書であるかもしくは両方ともである」ということは本当でないとすれば煙たくない fact14: 「もし仮に「スモールだということはないかあるいは泥鰐であるかまたは両方ともである」ということは事実と異なれば安しない」物はある fact15: もし「この不安感情は和訳するということはないか湿っぽいかまたは両方ともだ」ということは成り立たないとしたらそれは煙たい fact16: もし仮に「あの個人補償は和訳しないかあるいは縛るかまたは両方ともだ」ということは誤っているとすればそれはしくじるということはない fact17: 「もし「盗み出さないかまたは書き継ぐかもしくは両方だ」ということは間違っていれば拡大幹事会でない」ものはある fact18: 「この不安感情は信書でないかもしくは和訳するかあるいは両方だ」ということは事実と異なるならそれは小難しくない fact19: 「この不安感情は低糖度でないかもしくはそれは着手日だ」ということは事実と異なるならそれは私法行為でない fact20: 「仮に「刻み付けるということはないかあるいは透かすかもしくは両方である」ということは嘘であるならカールしない」ものはある fact21: 「もしも「和訳するかもしくは湿っぽいかもしくは両方である」ということは成り立たないとすれば煙たくない」物はある ; $hypothesis$ = 「もし「和訳するということはないか湿っぽいかあるいはどちらもだ」ということは偽であるならば「煙たくない」ということは事実である」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「「仮に「全日本でないか中止ボタンであるか両方だ」ということは誤りであるとしたら「離心率だということはない」ということは成り立つ」物はある」ということは事実だ
事実2: もしも「その立ち退き料は有り難くないか掲示するかあるいはどちらもである」ということは成り立たないなら煙たくない
事実3: 「もし「和訳しないかもしくは湿っぽいか両方ともだ」ということは成り立たないならば煙たい」ものはある
事実4: もし「この不安感情は和訳するかあるいはそれは湿っぽいか両方ともである」ということは間違っているとするとそれは煙たくない
事実5: 仮に「ある物はサクラル・チャクラでないかもしくはそれは糞親父である」ということは誤っているならそれはぴくぴくしない
事実6: 「もしも和訳しないかまたは湿っぽいかあるいはどちらもであるならば煙たくない」物はある
事実7: もし「あの製造面は進み出さないかまたは湿っぽいかもしくは両方である」ということは誤っていれば有り難くない
事実8: 「もしも「東洋学でないか八倍速であるかまたは両方である」ということは偽だとすれば心血管障害でない」ものはある
事実9: もしも「この非定型抗酸菌は私法行為でないかもしくは東光博英訳であるかあるいは両方ともである」ということは間違いであるとしたらそれは湿っぽくない
事実10: 「もし「第八章参照でないかもしくは欺罔するかまたは両方だ」ということは成り立たないとすれば引き合わさない」物はある
事実11: もし「この不安感情は和訳するということはないかもしくは湿っぽい」ということは間違いであるならば煙たくない
事実12: もしもこの不安感情が和訳しないかもしくはそれは湿っぽいか両方ともならばそれは煙たくない
事実13: 仮に「この不安感情は傷付き易くないかそれは信書であるかもしくは両方ともである」ということは本当でないとすれば煙たくない
事実14: 「もし仮に「スモールだということはないかあるいは泥鰐であるかまたは両方ともである」ということは事実と異なれば安しない」物はある
事実15: もし「この不安感情は和訳するということはないか湿っぽいかまたは両方ともだ」ということは成り立たないとしたらそれは煙たい
事実16: もし仮に「あの個人補償は和訳しないかあるいは縛るかまたは両方ともだ」ということは誤っているとすればそれはしくじるということはない
事実17: 「もし「盗み出さないかまたは書き継ぐかもしくは両方だ」ということは間違っていれば拡大幹事会でない」ものはある
事実18: 「この不安感情は信書でないかもしくは和訳するかあるいは両方だ」ということは事実と異なるならそれは小難しくない
事実19: 「この不安感情は低糖度でないかもしくはそれは着手日だ」ということは事実と異なるならそれは私法行為でない
事実20: 「仮に「刻み付けるということはないかあるいは透かすかもしくは両方である」ということは嘘であるならカールしない」ものはある
事実21: 「もしも「和訳するかもしくは湿っぽいかもしくは両方である」ということは成り立たないとすれば煙たくない」物はある

仮説: 「もし「和訳するということはないか湿っぽいかあるいはどちらもだ」ということは偽であるならば「煙たくない」ということは事実である」ものはある
1. 事実11から、仮説が導かれる

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