「「もし仮に馬達であるかまたはＫ＝Ｇモデルであるとするとつべたくない」ものはある」ということは確かである
fact1: 「感慨深いかもしくは報酬月額であるか両方であるならば壊れ掛けない」ものはある fact2: 「もしも怪しかもしくは妬ましいか両方だとすれば発音出来ない」ものはある fact3: 「もしも自由社会であるかまたはインデントするなら減点しない」物はある fact4: もしとある物は構造体であるか馴染み易いかまたは両方だとしたらそれは悩まさない fact5: 「もし仮に難しいか疎開するかもしくはどちらもなら災害復旧事業費でない」物はある fact6: 仮にその公的活動が請じ入れるか取り易いとすればそれは眩まない fact7: 仮に何らかの物がＫ＝Ｇモデルであるかそれは進み易いかもしくは両方ともであるとすれば女房でない fact8: もし仮に「その公的活動は馬達であるかまたはＫ＝Ｇモデルだ」ということは成り立てばそれはつべたい fact9: もしもあの統一地方選は馬達であるならそれは苛々し易いということはない fact10: もしその公的活動がＫ＝Ｇモデルだとしたらそれはつべたいということはない fact11: 「もし仮に「馬達だ」ということは正しいとしたらつべたくない」ものはある fact12: もしその関ヶ原合戦が確認し難いかもしくは寒ーいかあるいはどちらもであるとすると段取りするということはない fact13: 「もし馬達であるかまたはＫ＝Ｇモデルであるかもしくは両方ともであるとすれば「つべたい」ということは確かである」ものはある fact14: 「「もし仮にＫ＝Ｇモデルだとすればつべたいない」ものはある」ということは本当である fact15: その公的活動は馬達であるかまたはそれはＫ＝Ｇモデルであるか両方であるとすればそれはつべたくない
fact15 -> hypothesis;
「もしも構造体であるかあるいは馴染み易いかまたはどちらもだとしたら悩まさない」物はある
fact16 -> int1: もしも「その青銅製は構造体であるかそれは馴染み易いかもしくは両方である」ということは正しいとすれば悩まさない; int1 -> hypothesis;
$facts$ = fact1: 「感慨深いかもしくは報酬月額であるか両方であるならば壊れ掛けない」ものはある fact2: 「もしも怪しかもしくは妬ましいか両方だとすれば発音出来ない」ものはある fact3: 「もしも自由社会であるかまたはインデントするなら減点しない」物はある fact4: もしとある物は構造体であるか馴染み易いかまたは両方だとしたらそれは悩まさない fact5: 「もし仮に難しいか疎開するかもしくはどちらもなら災害復旧事業費でない」物はある fact6: 仮にその公的活動が請じ入れるか取り易いとすればそれは眩まない fact7: 仮に何らかの物がＫ＝Ｇモデルであるかそれは進み易いかもしくは両方ともであるとすれば女房でない fact8: もし仮に「その公的活動は馬達であるかまたはＫ＝Ｇモデルだ」ということは成り立てばそれはつべたい fact9: もしもあの統一地方選は馬達であるならそれは苛々し易いということはない fact10: もしその公的活動がＫ＝Ｇモデルだとしたらそれはつべたいということはない fact11: 「もし仮に「馬達だ」ということは正しいとしたらつべたくない」ものはある fact12: もしその関ヶ原合戦が確認し難いかもしくは寒ーいかあるいはどちらもであるとすると段取りするということはない fact13: 「もし馬達であるかまたはＫ＝Ｇモデルであるかもしくは両方ともであるとすれば「つべたい」ということは確かである」ものはある fact14: 「「もし仮にＫ＝Ｇモデルだとすればつべたいない」ものはある」ということは本当である fact15: その公的活動は馬達であるかまたはそれはＫ＝Ｇモデルであるか両方であるとすればそれはつべたくない ; $hypothesis$ = 「「もし仮に馬達であるかまたはＫ＝Ｇモデルであるとするとつべたくない」ものはある」ということは確かである ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: 「感慨深いかもしくは報酬月額であるか両方であるならば壊れ掛けない」ものはある
事実2: 「もしも怪しかもしくは妬ましいか両方だとすれば発音出来ない」ものはある
事実3: 「もしも自由社会であるかまたはインデントするなら減点しない」物はある
事実4: もしとある物は構造体であるか馴染み易いかまたは両方だとしたらそれは悩まさない
事実5: 「もし仮に難しいか疎開するかもしくはどちらもなら災害復旧事業費でない」物はある
事実6: 仮にその公的活動が請じ入れるか取り易いとすればそれは眩まない
事実7: 仮に何らかの物がＫ＝Ｇモデルであるかそれは進み易いかもしくは両方ともであるとすれば女房でない
事実8: もし仮に「その公的活動は馬達であるかまたはＫ＝Ｇモデルだ」ということは成り立てばそれはつべたい
事実9: もしもあの統一地方選は馬達であるならそれは苛々し易いということはない
事実10: もしその公的活動がＫ＝Ｇモデルだとしたらそれはつべたいということはない
事実11: 「もし仮に「馬達だ」ということは正しいとしたらつべたくない」ものはある
事実12: もしその関ヶ原合戦が確認し難いかもしくは寒ーいかあるいはどちらもであるとすると段取りするということはない
事実13: 「もし馬達であるかまたはＫ＝Ｇモデルであるかもしくは両方ともであるとすれば「つべたい」ということは確かである」ものはある
事実14: 「「もし仮にＫ＝Ｇモデルだとすればつべたいない」ものはある」ということは本当である
事実15: その公的活動は馬達であるかまたはそれはＫ＝Ｇモデルであるか両方であるとすればそれはつべたくない

仮説: 「「もし仮に馬達であるかまたはＫ＝Ｇモデルであるとするとつべたくない」ものはある」ということは確かである
1. 事実15から、仮説が導かれる

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