この十字形は狂おしい
fact1: 仮にその一本取りが絶え難いということはないかあるいは誘発しないとしたら「この十字形は狂おしくない」ということは正しい fact2: この生活・生計は誘発しないか竹村家であるかもしくは両方ともだ fact3: 仮にその一本取りは受講するとしたら「あのバチコヴォ僧院は絶え難くない」ということは真実だ fact4: もしこの生活・生計が纏まり易い一方でそれが実行し易くないとするとこの十字形は実行し易くない fact5: 仮にあのバチコヴォ僧院が誘発しないとしたらその一本取りは絶え難くないかあるいはそれは誘発しないかどちらもである fact6: その一本取りは絶え難いかもしくはそれは誘発しない fact7: あのバチコヴォ僧院は纏まり易い fact8: もしその一本取りが絶え難くないならばこの十字形は狂おしくない fact9: 「ある物は寝そべるし実行し易い」ということは本当だ fact10: もしもあのバチコヴォ僧院は誘発しないとすると「その一本取りは絶え難いか誘発しないかどちらもである」ということは成り立つ fact11: もし仮にこの生活・生計が竹村家だということはないとすればあのバチコヴォ僧院は竹村家でないがしかし纏まり易い fact12: 「寝そべる」ものはある fact13: 仮にこの十字形が絶え難くないとしたらその一本取りは絶え難いということはないがそれは狂おしい fact14: もし仮に「寝そべるしかつ実行し易い」ものがあるとすればあの生活・生計は竹村家でない fact15: 「実行し易い」ものはある fact16: もし仮になにかは竹村家でないけれど纏まり易いとすると「誘発するということはない」ということは真実である fact17: 実行し易いということはない物は狂おしいしその上寝そべる fact18: もしもこの生活・生計が竹村家でないならあのバチコヴォ僧院は纏まり易い fact19: もしとあるものが御越さないとしたらそれは纏まり易いしさらに誘発する fact20: もしもあのバチコヴォ僧院が絶え難くないとすればこの生活・生計は実行し易くないししかも竹村家でない fact21: 「「受講しないし光り輝かない」ということは成り立たない」ものはある
fact9 & fact14 -> int1: この生活・生計は竹村家でない; int1 & fact11 -> int2: あのバチコヴォ僧院は竹村家でないが纏まり易い; fact16 -> int3: もしもあのバチコヴォ僧院が竹村家でないがしかしそれが纏まり易いとしたら誘発しない; int2 & int3 -> int4: あのバチコヴォ僧院は誘発しない; int4 & fact5 -> int5: その一本取りは絶え難くないか誘発しないかまたは両方である; int5 & fact1 -> hypothesis;
この十字形は狂おしい
fact26 -> int6: 仮にこの十字形が実行し易くないならば狂おしくてさらにそれは寝そべる; fact23 -> int7: もしもこの生活・生計が御越すということはないとしたらそれは纏まり易いし誘発する;
$facts$ = fact1: 仮にその一本取りが絶え難いということはないかあるいは誘発しないとしたら「この十字形は狂おしくない」ということは正しい fact2: この生活・生計は誘発しないか竹村家であるかもしくは両方ともだ fact3: 仮にその一本取りは受講するとしたら「あのバチコヴォ僧院は絶え難くない」ということは真実だ fact4: もしこの生活・生計が纏まり易い一方でそれが実行し易くないとするとこの十字形は実行し易くない fact5: 仮にあのバチコヴォ僧院が誘発しないとしたらその一本取りは絶え難くないかあるいはそれは誘発しないかどちらもである fact6: その一本取りは絶え難いかもしくはそれは誘発しない fact7: あのバチコヴォ僧院は纏まり易い fact8: もしその一本取りが絶え難くないならばこの十字形は狂おしくない fact9: 「ある物は寝そべるし実行し易い」ということは本当だ fact10: もしもあのバチコヴォ僧院は誘発しないとすると「その一本取りは絶え難いか誘発しないかどちらもである」ということは成り立つ fact11: もし仮にこの生活・生計が竹村家だということはないとすればあのバチコヴォ僧院は竹村家でないがしかし纏まり易い fact12: 「寝そべる」ものはある fact13: 仮にこの十字形が絶え難くないとしたらその一本取りは絶え難いということはないがそれは狂おしい fact14: もし仮に「寝そべるしかつ実行し易い」ものがあるとすればあの生活・生計は竹村家でない fact15: 「実行し易い」ものはある fact16: もし仮になにかは竹村家でないけれど纏まり易いとすると「誘発するということはない」ということは真実である fact17: 実行し易いということはない物は狂おしいしその上寝そべる fact18: もしもこの生活・生計が竹村家でないならあのバチコヴォ僧院は纏まり易い fact19: もしとあるものが御越さないとしたらそれは纏まり易いしさらに誘発する fact20: もしもあのバチコヴォ僧院が絶え難くないとすればこの生活・生計は実行し易くないししかも竹村家でない fact21: 「「受講しないし光り輝かない」ということは成り立たない」ものはある ; $hypothesis$ = この十字形は狂おしい ; $proof$ = 
fact9 & fact14 -> int1: この生活・生計は竹村家でない; int1 & fact11 -> int2: あのバチコヴォ僧院は竹村家でないが纏まり易い; fact16 -> int3: もしもあのバチコヴォ僧院が竹村家でないがしかしそれが纏まり易いとしたら誘発しない; int2 & int3 -> int4: あのバチコヴォ僧院は誘発しない; int4 & fact5 -> int5: その一本取りは絶え難くないか誘発しないかまたは両方である; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にその一本取りが絶え難いということはないかあるいは誘発しないとしたら「この十字形は狂おしくない」ということは正しい
事実2: この生活・生計は誘発しないか竹村家であるかもしくは両方ともだ
事実3: 仮にその一本取りは受講するとしたら「あのバチコヴォ僧院は絶え難くない」ということは真実だ
事実4: もしこの生活・生計が纏まり易い一方でそれが実行し易くないとするとこの十字形は実行し易くない
事実5: 仮にあのバチコヴォ僧院が誘発しないとしたらその一本取りは絶え難くないかあるいはそれは誘発しないかどちらもである
事実6: その一本取りは絶え難いかもしくはそれは誘発しない
事実7: あのバチコヴォ僧院は纏まり易い
事実8: もしその一本取りが絶え難くないならばこの十字形は狂おしくない
事実9: 「ある物は寝そべるし実行し易い」ということは本当だ
事実10: もしもあのバチコヴォ僧院は誘発しないとすると「その一本取りは絶え難いか誘発しないかどちらもである」ということは成り立つ
事実11: もし仮にこの生活・生計が竹村家だということはないとすればあのバチコヴォ僧院は竹村家でないがしかし纏まり易い
事実12: 「寝そべる」ものはある
事実13: 仮にこの十字形が絶え難くないとしたらその一本取りは絶え難いということはないがそれは狂おしい
事実14: もし仮に「寝そべるしかつ実行し易い」ものがあるとすればあの生活・生計は竹村家でない
事実15: 「実行し易い」ものはある
事実16: もし仮になにかは竹村家でないけれど纏まり易いとすると「誘発するということはない」ということは真実である
事実17: 実行し易いということはない物は狂おしいしその上寝そべる
事実18: もしもこの生活・生計が竹村家でないならあのバチコヴォ僧院は纏まり易い
事実19: もしとあるものが御越さないとしたらそれは纏まり易いしさらに誘発する
事実20: もしもあのバチコヴォ僧院が絶え難くないとすればこの生活・生計は実行し易くないししかも竹村家でない
事実21: 「「受講しないし光り輝かない」ということは成り立たない」ものはある

仮説: この十字形は狂おしい
1. 事実9と事実14から、推論1: "この生活・生計は竹村家でない"が導かれる
2. 推論1と事実11から、推論2: "あのバチコヴォ僧院は竹村家でないが纏まり易い"が導かれる
3. 事実16から、推論3: "もしもあのバチコヴォ僧院が竹村家でないがしかしそれが纏まり易いとしたら誘発しない"が導かれる
4. 推論2と推論3から、推論4: "あのバチコヴォ僧院は誘発しない"が導かれる
5. 推論4と事実5から、推論5: "その一本取りは絶え難くないか誘発しないかまたは両方である"が導かれる
6. 推論5と事実1から、仮説が否定される

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