あの利益配当優先株式は日参するしそれにそれは隠し立てする
fact1: このＲ教会が優しし哀れっぽいならば隠し立てしない fact2: このＲ教会はクリスタル・パレスだ fact3: 仮にあの馬群がクリスタル・パレスでないがしかし培養出来るとするとこのＲ教会は優し fact4: あの馬群はクリスタル・パレスでないしその上培養出来ない fact5: このＲ教会が隠し立てするしさらに培養出来るとしたらそれは哀れっぽくない fact6: 「もしもあの馬群がクリスタル・パレスでないしかつ培養出来ないとすればこのＲ教会は優し」ということは事実である fact7: この領野は優しない fact8: 仮に「このＲ教会は優しが調伏しない」ということは成り立たないとするとあの馬群は哀れっぽい fact9: 「このＲ教会は哀れっぽい」ということは嘘であるということはない fact10: あの利益配当優先株式は哀れっぽい fact11: あの馬群は培養出来ない fact12: もしも「このＲ教会は隠し立てしない」ということは成り立つとしたら「あの利益配当優先株式は日参するし隠し立てする」ということは偽だ fact13: あの馬群は隠し立てする
fact6 & fact4 -> int1: このＲ教会は優し; int1 & fact9 -> int2: このＲ教会は優ししおまけに哀れっぽい; int2 & fact1 -> int3: このＲ教会は隠し立てしない; int3 & fact12 -> hypothesis;
あの利益配当優先株式は日参するし加えて隠し立てする
$facts$ = fact1: このＲ教会が優しし哀れっぽいならば隠し立てしない fact2: このＲ教会はクリスタル・パレスだ fact3: 仮にあの馬群がクリスタル・パレスでないがしかし培養出来るとするとこのＲ教会は優し fact4: あの馬群はクリスタル・パレスでないしその上培養出来ない fact5: このＲ教会が隠し立てするしさらに培養出来るとしたらそれは哀れっぽくない fact6: 「もしもあの馬群がクリスタル・パレスでないしかつ培養出来ないとすればこのＲ教会は優し」ということは事実である fact7: この領野は優しない fact8: 仮に「このＲ教会は優しが調伏しない」ということは成り立たないとするとあの馬群は哀れっぽい fact9: 「このＲ教会は哀れっぽい」ということは嘘であるということはない fact10: あの利益配当優先株式は哀れっぽい fact11: あの馬群は培養出来ない fact12: もしも「このＲ教会は隠し立てしない」ということは成り立つとしたら「あの利益配当優先株式は日参するし隠し立てする」ということは偽だ fact13: あの馬群は隠し立てする ; $hypothesis$ = あの利益配当優先株式は日参するしそれにそれは隠し立てする ; $proof$ = 
fact6 & fact4 -> int1: このＲ教会は優し; int1 & fact9 -> int2: このＲ教会は優ししおまけに哀れっぽい; int2 & fact1 -> int3: このＲ教会は隠し立てしない; int3 & fact12 -> hypothesis; __DISPROVED__
事実1: このＲ教会が優しし哀れっぽいならば隠し立てしない
事実2: このＲ教会はクリスタル・パレスだ
事実3: 仮にあの馬群がクリスタル・パレスでないがしかし培養出来るとするとこのＲ教会は優し
事実4: あの馬群はクリスタル・パレスでないしその上培養出来ない
事実5: このＲ教会が隠し立てするしさらに培養出来るとしたらそれは哀れっぽくない
事実6: 「もしもあの馬群がクリスタル・パレスでないしかつ培養出来ないとすればこのＲ教会は優し」ということは事実である
事実7: この領野は優しない
事実8: 仮に「このＲ教会は優しが調伏しない」ということは成り立たないとするとあの馬群は哀れっぽい
事実9: 「このＲ教会は哀れっぽい」ということは嘘であるということはない
事実10: あの利益配当優先株式は哀れっぽい
事実11: あの馬群は培養出来ない
事実12: もしも「このＲ教会は隠し立てしない」ということは成り立つとしたら「あの利益配当優先株式は日参するし隠し立てする」ということは偽だ
事実13: あの馬群は隠し立てする

仮説: あの利益配当優先株式は日参するしそれにそれは隠し立てする
1. 事実6と事実4から、推論1: "このＲ教会は優し"が導かれる
2. 推論1と事実9から、推論2: "このＲ教会は優ししおまけに哀れっぽい"が導かれる
3. 推論2と事実1から、推論3: "このＲ教会は隠し立てしない"が導かれる
4. 推論3と事実12から、仮説が否定される

よって、仮説が否定されました。