「この諸寺はおどろおどろしいかあるいは直通するということはないかあるいは両方である」ということは成り立たない
fact1: もし「この諸寺は得難しない」ということは成り立つとしたらおどろおどろしいかそれは直通しない fact2: そのリヤが危なっかしいならその電脳は受け入れ難いがしかし簡易生命保険契約でない fact3: もしこの諸寺が簡易生命保険契約でないがしかしそれはフォン・ド・ボライユであるならば得難しない fact4: 「そのリヤは住宅作りだ一方で物珍しくない」ということは成り立たない fact5: 何かは得難しないとすればフォン・ド・ボライユである fact6: もしその電脳が受け入れ難いけどそれが簡易生命保険契約でないとしたらこの諸寺は受け入れ難くない fact7: この諸寺は養い育てない fact8: 仮になんらかのものはフォン・ド・ボライユであるとすると危なっかしい fact9: 仮に「この諸寺は危なっかしい」ということは確かであるとしたら簡易生命保険契約でなくてまたそれはフォン・ド・ボライユである fact10: そのリヤは物珍しいなら「直通するということはなくてそれにそれは習練する」ということは事実と異なる fact11: この諸寺は受け入れ難い fact12: もしこの諸寺が受け入れ難いとするとそれは危なっかしい fact13: あの勲章は攻めるかまたは危なっかしくないかどちらもだ fact14: 受け入れ難くない物はおどろおどろしいかあるいはＭＰＲ画像でないかあるいはどちらもである fact15: もしも「とあるものは住宅作りであるがそれは物珍しくない」ということは間違いだとしたらそれは物珍しい
fact12 & fact11 -> int1: この諸寺は危なっかしい; int1 & fact9 -> int2: この諸寺は簡易生命保険契約であるということはないけどフォン・ド・ボライユである; int2 & fact3 -> int3: この諸寺は得難しない; int3 & fact1 -> hypothesis;
この諸寺はおどろおどろしいかＭＰＲ画像でない
fact17 -> int4: この諸寺が受け入れ難くないとするとおどろおどろしいかもしくはそれはＭＰＲ画像であるということはない; fact18 -> int5: もし「そのリヤはフォン・ド・ボライユである」ということは成り立つとすると危なっかしい; fact16 -> int6: そのリヤが得難しないならフォン・ド・ボライユである; fact20 -> int7: もし仮に「そのリヤは住宅作りだ一方で物珍しくない」ということは成り立たないならば物珍しい; int7 & fact23 -> int8: そのリヤは物珍しい; fact22 & int8 -> int9: 「そのリヤは直通しないけれど習練する」ということは成り立たない;
$facts$ = fact1: もし「この諸寺は得難しない」ということは成り立つとしたらおどろおどろしいかそれは直通しない fact2: そのリヤが危なっかしいならその電脳は受け入れ難いがしかし簡易生命保険契約でない fact3: もしこの諸寺が簡易生命保険契約でないがしかしそれはフォン・ド・ボライユであるならば得難しない fact4: 「そのリヤは住宅作りだ一方で物珍しくない」ということは成り立たない fact5: 何かは得難しないとすればフォン・ド・ボライユである fact6: もしその電脳が受け入れ難いけどそれが簡易生命保険契約でないとしたらこの諸寺は受け入れ難くない fact7: この諸寺は養い育てない fact8: 仮になんらかのものはフォン・ド・ボライユであるとすると危なっかしい fact9: 仮に「この諸寺は危なっかしい」ということは確かであるとしたら簡易生命保険契約でなくてまたそれはフォン・ド・ボライユである fact10: そのリヤは物珍しいなら「直通するということはなくてそれにそれは習練する」ということは事実と異なる fact11: この諸寺は受け入れ難い fact12: もしこの諸寺が受け入れ難いとするとそれは危なっかしい fact13: あの勲章は攻めるかまたは危なっかしくないかどちらもだ fact14: 受け入れ難くない物はおどろおどろしいかあるいはＭＰＲ画像でないかあるいはどちらもである fact15: もしも「とあるものは住宅作りであるがそれは物珍しくない」ということは間違いだとしたらそれは物珍しい ; $hypothesis$ = 「この諸寺はおどろおどろしいかあるいは直通するということはないかあるいは両方である」ということは成り立たない ; $proof$ = 
fact12 & fact11 -> int1: この諸寺は危なっかしい; int1 & fact9 -> int2: この諸寺は簡易生命保険契約であるということはないけどフォン・ド・ボライユである; int2 & fact3 -> int3: この諸寺は得難しない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「この諸寺は得難しない」ということは成り立つとしたらおどろおどろしいかそれは直通しない
事実2: そのリヤが危なっかしいならその電脳は受け入れ難いがしかし簡易生命保険契約でない
事実3: もしこの諸寺が簡易生命保険契約でないがしかしそれはフォン・ド・ボライユであるならば得難しない
事実4: 「そのリヤは住宅作りだ一方で物珍しくない」ということは成り立たない
事実5: 何かは得難しないとすればフォン・ド・ボライユである
事実6: もしその電脳が受け入れ難いけどそれが簡易生命保険契約でないとしたらこの諸寺は受け入れ難くない
事実7: この諸寺は養い育てない
事実8: 仮になんらかのものはフォン・ド・ボライユであるとすると危なっかしい
事実9: 仮に「この諸寺は危なっかしい」ということは確かであるとしたら簡易生命保険契約でなくてまたそれはフォン・ド・ボライユである
事実10: そのリヤは物珍しいなら「直通するということはなくてそれにそれは習練する」ということは事実と異なる
事実11: この諸寺は受け入れ難い
事実12: もしこの諸寺が受け入れ難いとするとそれは危なっかしい
事実13: あの勲章は攻めるかまたは危なっかしくないかどちらもだ
事実14: 受け入れ難くない物はおどろおどろしいかあるいはＭＰＲ画像でないかあるいはどちらもである
事実15: もしも「とあるものは住宅作りであるがそれは物珍しくない」ということは間違いだとしたらそれは物珍しい

仮説: 「この諸寺はおどろおどろしいかあるいは直通するということはないかあるいは両方である」ということは成り立たない
1. 事実12と事実11から、推論1: "この諸寺は危なっかしい"が導かれる
2. 推論1と事実9から、推論2: "この諸寺は簡易生命保険契約であるということはないけどフォン・ド・ボライユである"が導かれる
3. 推論2と事実3から、推論3: "この諸寺は得難しない"が導かれる
4. 推論3と事実1から、仮説が否定される

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