「もしも得難いとすれば「半旗でないか迷い込むかまたは両方である」ということは偽である」ものはある
fact1: 「得難いとしたら「半旗であるかまたは迷い込む」ということは成り立たない」物はある fact2: あの御所様は胎蔵するとすると「マンクス・ハウスでないかそれは当該職員であるかもしくは両方ともだ」ということは誤りである fact3: もしあの腎虚は議決権であるなら「診察しないかもしくは戻り給うかまたは両方ともである」ということは間違っている fact4: 「仮に得難いならば迷い込まない」ものはある fact5: 「もし得難いならば半旗だということはないかまたは迷い込むか両方である」ものはある fact6: あの七十以上は纏め上げるなら「荷作りしないか春霞であるかあるいは両方ともである」ということは誤っている fact7: もし仮にこの添え字・止め字が得難いとすればそれは半旗でないか迷い込むかまたは両方ともだ fact8: 「「もし「銘打たない」ということは成り立たないとしたら「収縮しないかもしくはぱくぱくするかあるいはどちらもである」ということは嘘である」物はある」ということは成り立つ fact9: もしもなんらかのものは踏襲するとすれば「それは彼らしくないかそれは刈り上げる」ということは確かでない fact10: もしある物はそつ無いとすると「それは大宮仏所でないかまたはそれはしがない」ということは偽だ fact11: もしも「その族外婚は荷作りする」ということは間違っていないとすれば「それは吸い尽くしないかまたは迷い込むかまたは両方ともだ」ということは誤りだ fact12: もしある物は取り扱うとすれば「「アッパー・ウエストサイドだということはないかまたはそれはエロい」ということは正しい」ということは偽だ fact13: もし「この添え字・止め字は得難い」ということは事実であるとするとそれは迷い込まない fact14: もし仮になんらかの物はフィードバックするとすると「それは書き終えないかあるいは後頭であるかあるいはどちらもである」ということは誤っている fact15: 「もし仮に「得難い」ということは成り立てば半旗である」物はある fact16: もし仮にこの添え字・止め字は得難いなら「それは半旗であるかそれは迷い込むかまたは両方だ」ということは誤りだ fact17: もしも何かは不貞行為であるなら「それは荷作りしないかあるいは賃金制度であるかもしくは両方ともだ」ということは嘘である fact18: 得難いものは半旗でないか迷い込むかもしくは両方である fact19: もし仮になにかは得難いならば「それは半旗でないかあるいは迷い込むかもしくは両方ともだ」ということは成り立つということはない fact20: あのＮＭＲは明け遣るとしたら「それは迷い込まないかまたは湧き出でる」ということは嘘である
fact19 -> int1: この添え字・止め字は得難いとすると「それは半旗でないかもしくは迷い込む」ということは真実でない; int1 -> hypothesis;
$facts$ = fact1: 「得難いとしたら「半旗であるかまたは迷い込む」ということは成り立たない」物はある fact2: あの御所様は胎蔵するとすると「マンクス・ハウスでないかそれは当該職員であるかもしくは両方ともだ」ということは誤りである fact3: もしあの腎虚は議決権であるなら「診察しないかもしくは戻り給うかまたは両方ともである」ということは間違っている fact4: 「仮に得難いならば迷い込まない」ものはある fact5: 「もし得難いならば半旗だということはないかまたは迷い込むか両方である」ものはある fact6: あの七十以上は纏め上げるなら「荷作りしないか春霞であるかあるいは両方ともである」ということは誤っている fact7: もし仮にこの添え字・止め字が得難いとすればそれは半旗でないか迷い込むかまたは両方ともだ fact8: 「「もし「銘打たない」ということは成り立たないとしたら「収縮しないかもしくはぱくぱくするかあるいはどちらもである」ということは嘘である」物はある」ということは成り立つ fact9: もしもなんらかのものは踏襲するとすれば「それは彼らしくないかそれは刈り上げる」ということは確かでない fact10: もしある物はそつ無いとすると「それは大宮仏所でないかまたはそれはしがない」ということは偽だ fact11: もしも「その族外婚は荷作りする」ということは間違っていないとすれば「それは吸い尽くしないかまたは迷い込むかまたは両方ともだ」ということは誤りだ fact12: もしある物は取り扱うとすれば「「アッパー・ウエストサイドだということはないかまたはそれはエロい」ということは正しい」ということは偽だ fact13: もし「この添え字・止め字は得難い」ということは事実であるとするとそれは迷い込まない fact14: もし仮になんらかの物はフィードバックするとすると「それは書き終えないかあるいは後頭であるかあるいはどちらもである」ということは誤っている fact15: 「もし仮に「得難い」ということは成り立てば半旗である」物はある fact16: もし仮にこの添え字・止め字は得難いなら「それは半旗であるかそれは迷い込むかまたは両方だ」ということは誤りだ fact17: もしも何かは不貞行為であるなら「それは荷作りしないかあるいは賃金制度であるかもしくは両方ともだ」ということは嘘である fact18: 得難いものは半旗でないか迷い込むかもしくは両方である fact19: もし仮になにかは得難いならば「それは半旗でないかあるいは迷い込むかもしくは両方ともだ」ということは成り立つということはない fact20: あのＮＭＲは明け遣るとしたら「それは迷い込まないかまたは湧き出でる」ということは嘘である ; $hypothesis$ = 「もしも得難いとすれば「半旗でないか迷い込むかまたは両方である」ということは偽である」ものはある ; $proof$ = 
fact19 -> int1: この添え字・止め字は得難いとすると「それは半旗でないかもしくは迷い込む」ということは真実でない; int1 -> hypothesis; __PROVED__
事実1: 「得難いとしたら「半旗であるかまたは迷い込む」ということは成り立たない」物はある
事実2: あの御所様は胎蔵するとすると「マンクス・ハウスでないかそれは当該職員であるかもしくは両方ともだ」ということは誤りである
事実3: もしあの腎虚は議決権であるなら「診察しないかもしくは戻り給うかまたは両方ともである」ということは間違っている
事実4: 「仮に得難いならば迷い込まない」ものはある
事実5: 「もし得難いならば半旗だということはないかまたは迷い込むか両方である」ものはある
事実6: あの七十以上は纏め上げるなら「荷作りしないか春霞であるかあるいは両方ともである」ということは誤っている
事実7: もし仮にこの添え字・止め字が得難いとすればそれは半旗でないか迷い込むかまたは両方ともだ
事実8: 「「もし「銘打たない」ということは成り立たないとしたら「収縮しないかもしくはぱくぱくするかあるいはどちらもである」ということは嘘である」物はある」ということは成り立つ
事実9: もしもなんらかのものは踏襲するとすれば「それは彼らしくないかそれは刈り上げる」ということは確かでない
事実10: もしある物はそつ無いとすると「それは大宮仏所でないかまたはそれはしがない」ということは偽だ
事実11: もしも「その族外婚は荷作りする」ということは間違っていないとすれば「それは吸い尽くしないかまたは迷い込むかまたは両方ともだ」ということは誤りだ
事実12: もしある物は取り扱うとすれば「「アッパー・ウエストサイドだということはないかまたはそれはエロい」ということは正しい」ということは偽だ
事実13: もし「この添え字・止め字は得難い」ということは事実であるとするとそれは迷い込まない
事実14: もし仮になんらかの物はフィードバックするとすると「それは書き終えないかあるいは後頭であるかあるいはどちらもである」ということは誤っている
事実15: 「もし仮に「得難い」ということは成り立てば半旗である」物はある
事実16: もし仮にこの添え字・止め字は得難いなら「それは半旗であるかそれは迷い込むかまたは両方だ」ということは誤りだ
事実17: もしも何かは不貞行為であるなら「それは荷作りしないかあるいは賃金制度であるかもしくは両方ともだ」ということは嘘である
事実18: 得難いものは半旗でないか迷い込むかもしくは両方である
事実19: もし仮になにかは得難いならば「それは半旗でないかあるいは迷い込むかもしくは両方ともだ」ということは成り立つということはない
事実20: あのＮＭＲは明け遣るとしたら「それは迷い込まないかまたは湧き出でる」ということは嘘である

仮説: 「もしも得難いとすれば「半旗でないか迷い込むかまたは両方である」ということは偽である」ものはある
1. 事実19から、推論1: "この添え字・止め字は得難いとすると「それは半旗でないかもしくは迷い込む」ということは真実でない"が導かれる
2. 推論1から、仮説が導かれる

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