「「脆いということはないし瑕疵担保責任でない」ということは嘘だとすると共同化でない」物はある
fact1: 仮に「この其れ以前は脆くないしさらに瑕疵担保責任であるということはない」ということは嘘であるとすればそれは共同化だということはない fact2: 「仮に「脆くないし瑕疵担保責任である」ということは誤っているなら「共同化であるということはない」ということは本当な」物はある fact3: もしもこの其れ以前は瑕疵担保責任であるならば共同化だということはない fact4: 「もし脆くないし瑕疵担保責任でないならば共同化でない」物はある fact5: もしも「この五百人以上は話し合えないし加えて共同化でない」ということは誤りだとすると吉良屋敷だということはない fact6: もしも「なにがしかのものはしょっぱいということはないし上がり難くない」ということは誤っているとすれば共同化でない fact7: 「仮に「理解し辛くないしまた扱き混ぜるということはない」ということは誤りだとすればし難くない」物はある fact8: 「仮に「「言い訳がましくらなくてしかも内部取り引きでない」ということは正しい」ということは誤っているとすると青臭くない」物はある fact9: 「「脆い」ということは正しいなら共同化でない」物はある fact10: 「もし「脆いけど瑕疵担保責任でない」ということは偽であるならば共同化でない」ものはある fact11: 「もしも「脆くないしさらに瑕疵担保責任でない」ということは間違っているとすると共同化な」物はある fact12: 「「仮に「二重写しでなくて加えて理論化しない」ということは間違いだとすれば上げ難くない」ものはある」ということは事実だ fact13: もし仮に「「この其れ以前は田舎っぽくないしその上それは高得点だということはない」ということは成り立つ」ということは事実と異なればそれは脆くない fact14: 「仮に瑕疵担保責任であるならば「共同化だ」ということは間違っている」ものはある fact15: もしも「この其れ以前は脆いということはないしそれは瑕疵担保責任でない」ということは事実と異なるとすればそれは共同化である fact16: 仮にこの其れ以前が脆くないしおまけに瑕疵担保責任でないとしたらそれは共同化でない fact17: もし仮に「この其れ以前は脆いがしかし瑕疵担保責任でない」ということは偽であるならそれは共同化でない fact18: 仮に「この其れ以前は汚れ難くないしかつ瑕疵担保責任でない」ということは成り立たないとするとそれは萎縮しない
fact1 -> hypothesis;
fact1 -> hypothesis;
もしも「この濁りはしょっぱいということはなくてしかもそれは上がり難くない」ということは間違っているなら共同化でない
fact19 -> hypothesis;
$facts$ = fact1: 仮に「この其れ以前は脆くないしさらに瑕疵担保責任であるということはない」ということは嘘であるとすればそれは共同化だということはない fact2: 「仮に「脆くないし瑕疵担保責任である」ということは誤っているなら「共同化であるということはない」ということは本当な」物はある fact3: もしもこの其れ以前は瑕疵担保責任であるならば共同化だということはない fact4: 「もし脆くないし瑕疵担保責任でないならば共同化でない」物はある fact5: もしも「この五百人以上は話し合えないし加えて共同化でない」ということは誤りだとすると吉良屋敷だということはない fact6: もしも「なにがしかのものはしょっぱいということはないし上がり難くない」ということは誤っているとすれば共同化でない fact7: 「仮に「理解し辛くないしまた扱き混ぜるということはない」ということは誤りだとすればし難くない」物はある fact8: 「仮に「「言い訳がましくらなくてしかも内部取り引きでない」ということは正しい」ということは誤っているとすると青臭くない」物はある fact9: 「「脆い」ということは正しいなら共同化でない」物はある fact10: 「もし「脆いけど瑕疵担保責任でない」ということは偽であるならば共同化でない」ものはある fact11: 「もしも「脆くないしさらに瑕疵担保責任でない」ということは間違っているとすると共同化な」物はある fact12: 「「仮に「二重写しでなくて加えて理論化しない」ということは間違いだとすれば上げ難くない」ものはある」ということは事実だ fact13: もし仮に「「この其れ以前は田舎っぽくないしその上それは高得点だということはない」ということは成り立つ」ということは事実と異なればそれは脆くない fact14: 「仮に瑕疵担保責任であるならば「共同化だ」ということは間違っている」ものはある fact15: もしも「この其れ以前は脆いということはないしそれは瑕疵担保責任でない」ということは事実と異なるとすればそれは共同化である fact16: 仮にこの其れ以前が脆くないしおまけに瑕疵担保責任でないとしたらそれは共同化でない fact17: もし仮に「この其れ以前は脆いがしかし瑕疵担保責任でない」ということは偽であるならそれは共同化でない fact18: 仮に「この其れ以前は汚れ難くないしかつ瑕疵担保責任でない」ということは成り立たないとするとそれは萎縮しない ; $hypothesis$ = 「「脆いということはないし瑕疵担保責任でない」ということは嘘だとすると共同化でない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「この其れ以前は脆くないしさらに瑕疵担保責任であるということはない」ということは嘘であるとすればそれは共同化だということはない
事実2: 「仮に「脆くないし瑕疵担保責任である」ということは誤っているなら「共同化であるということはない」ということは本当な」物はある
事実3: もしもこの其れ以前は瑕疵担保責任であるならば共同化だということはない
事実4: 「もし脆くないし瑕疵担保責任でないならば共同化でない」物はある
事実5: もしも「この五百人以上は話し合えないし加えて共同化でない」ということは誤りだとすると吉良屋敷だということはない
事実6: もしも「なにがしかのものはしょっぱいということはないし上がり難くない」ということは誤っているとすれば共同化でない
事実7: 「仮に「理解し辛くないしまた扱き混ぜるということはない」ということは誤りだとすればし難くない」物はある
事実8: 「仮に「「言い訳がましくらなくてしかも内部取り引きでない」ということは正しい」ということは誤っているとすると青臭くない」物はある
事実9: 「「脆い」ということは正しいなら共同化でない」物はある
事実10: 「もし「脆いけど瑕疵担保責任でない」ということは偽であるならば共同化でない」ものはある
事実11: 「もしも「脆くないしさらに瑕疵担保責任でない」ということは間違っているとすると共同化な」物はある
事実12: 「「仮に「二重写しでなくて加えて理論化しない」ということは間違いだとすれば上げ難くない」ものはある」ということは事実だ
事実13: もし仮に「「この其れ以前は田舎っぽくないしその上それは高得点だということはない」ということは成り立つ」ということは事実と異なればそれは脆くない
事実14: 「仮に瑕疵担保責任であるならば「共同化だ」ということは間違っている」ものはある
事実15: もしも「この其れ以前は脆いということはないしそれは瑕疵担保責任でない」ということは事実と異なるとすればそれは共同化である
事実16: 仮にこの其れ以前が脆くないしおまけに瑕疵担保責任でないとしたらそれは共同化でない
事実17: もし仮に「この其れ以前は脆いがしかし瑕疵担保責任でない」ということは偽であるならそれは共同化でない
事実18: 仮に「この其れ以前は汚れ難くないしかつ瑕疵担保責任でない」ということは成り立たないとするとそれは萎縮しない

仮説: 「「脆いということはないし瑕疵担保責任でない」ということは嘘だとすると共同化でない」物はある
1. 事実1から、仮説が導かれる

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