「「構成材料であるということはないかあるいはディクディクであるかまたは両方ともである」ということは事実と異なる」ものはある
fact1: 「「そのウエディングパーティは構成材料でないかもしくはディクディクであるかあるいは両方だ」ということは正しい」ということは誤りだ fact2: 「「打っ倒れないかまたは入手し得る」ということは誤っている」ものはある fact3: 「構成材料な」ものはある fact4: もしもその中年は確認出来るということはないならば「その秋以降は突っ転ばしないかまたはそれは乗り始めるか両方である」ということは事実と異なる fact5: そのウエディングパーティはディクディクであるということはない fact6: 「「頓挫するということはないかもしくは弾薬庫であるかあるいは両方ともである」ということは偽である」物はある fact7: 「広ーくない」物はある fact8: 「か細い」物はある fact9: 「「構成材料であるかディクディクであるかまたは両方である」ということは成り立たない」物はある fact10: 上部組織は縫い包みでなくて確認出来ない fact11: なにがしかの物は忙しい
fact1 -> hypothesis;
fact1 -> hypothesis;
「「突っ転ばしないかあるいは乗り始めるかどちらもだ」ということは偽な」ものはある
fact13 -> int1: もしも「その中年は上部組織である」ということは正しいとすると縫い包みでなくて確認出来ない;
$facts$ = fact1: 「「そのウエディングパーティは構成材料でないかもしくはディクディクであるかあるいは両方だ」ということは正しい」ということは誤りだ fact2: 「「打っ倒れないかまたは入手し得る」ということは誤っている」ものはある fact3: 「構成材料な」ものはある fact4: もしもその中年は確認出来るということはないならば「その秋以降は突っ転ばしないかまたはそれは乗り始めるか両方である」ということは事実と異なる fact5: そのウエディングパーティはディクディクであるということはない fact6: 「「頓挫するということはないかもしくは弾薬庫であるかあるいは両方ともである」ということは偽である」物はある fact7: 「広ーくない」物はある fact8: 「か細い」物はある fact9: 「「構成材料であるかディクディクであるかまたは両方である」ということは成り立たない」物はある fact10: 上部組織は縫い包みでなくて確認出来ない fact11: なにがしかの物は忙しい ; $hypothesis$ = 「「構成材料であるということはないかあるいはディクディクであるかまたは両方ともである」ということは事実と異なる」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「「そのウエディングパーティは構成材料でないかもしくはディクディクであるかあるいは両方だ」ということは正しい」ということは誤りだ
事実2: 「「打っ倒れないかまたは入手し得る」ということは誤っている」ものはある
事実3: 「構成材料な」ものはある
事実4: もしもその中年は確認出来るということはないならば「その秋以降は突っ転ばしないかまたはそれは乗り始めるか両方である」ということは事実と異なる
事実5: そのウエディングパーティはディクディクであるということはない
事実6: 「「頓挫するということはないかもしくは弾薬庫であるかあるいは両方ともである」ということは偽である」物はある
事実7: 「広ーくない」物はある
事実8: 「か細い」物はある
事実9: 「「構成材料であるかディクディクであるかまたは両方である」ということは成り立たない」物はある
事実10: 上部組織は縫い包みでなくて確認出来ない
事実11: なにがしかの物は忙しい

仮説: 「「構成材料であるということはないかあるいはディクディクであるかまたは両方ともである」ということは事実と異なる」ものはある
1. 事実1から、仮説が導かれる

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