「「物狂おしいかまたは乗り始めるかどちらもである」ということは成り立たないならば成立し難くない」物はある
fact1: もしそのＺＯＯＭ．ＬＩＶが物狂おしいかもしくは乗り始めるかどちらもだとしたらそれは成立し難いということはない fact2: 仮に「そのＺＯＯＭ．ＬＩＶは物狂おしいかもしくは乗り始める」ということは成り立たないとすれば成立し難い fact3: もしも「そのＺＯＯＭ．ＬＩＶは物狂おしいかもしくは乗り始めるかまたはどちらもである」ということは成り立たないならば成立し難くない fact4: もし仮に「何らかの物は住宅取得であるかあるいは登記出来る」ということは事実と異なればそれは定義規定でない fact5: 「仮に物狂おしいかあるいは乗り始めるかもしくは両方ともであるとすれば成立し難くない」物はある
fact3 -> hypothesis;
もしも「そのはじかみは住宅取得であるか登記出来るかもしくは両方ともだ」ということは間違っていれば定義規定でない
fact6 -> hypothesis;
$facts$ = fact1: もしそのＺＯＯＭ．ＬＩＶが物狂おしいかもしくは乗り始めるかどちらもだとしたらそれは成立し難いということはない fact2: 仮に「そのＺＯＯＭ．ＬＩＶは物狂おしいかもしくは乗り始める」ということは成り立たないとすれば成立し難い fact3: もしも「そのＺＯＯＭ．ＬＩＶは物狂おしいかもしくは乗り始めるかまたはどちらもである」ということは成り立たないならば成立し難くない fact4: もし仮に「何らかの物は住宅取得であるかあるいは登記出来る」ということは事実と異なればそれは定義規定でない fact5: 「仮に物狂おしいかあるいは乗り始めるかもしくは両方ともであるとすれば成立し難くない」物はある ; $hypothesis$ = 「「物狂おしいかまたは乗り始めるかどちらもである」ということは成り立たないならば成立し難くない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしそのＺＯＯＭ．ＬＩＶが物狂おしいかもしくは乗り始めるかどちらもだとしたらそれは成立し難いということはない
事実2: 仮に「そのＺＯＯＭ．ＬＩＶは物狂おしいかもしくは乗り始める」ということは成り立たないとすれば成立し難い
事実3: もしも「そのＺＯＯＭ．ＬＩＶは物狂おしいかもしくは乗り始めるかまたはどちらもである」ということは成り立たないならば成立し難くない
事実4: もし仮に「何らかの物は住宅取得であるかあるいは登記出来る」ということは事実と異なればそれは定義規定でない
事実5: 「仮に物狂おしいかあるいは乗り始めるかもしくは両方ともであるとすれば成立し難くない」物はある

仮説: 「「物狂おしいかまたは乗り始めるかどちらもである」ということは成り立たないならば成立し難くない」物はある
1. 事実3から、仮説が導かれる

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