「あの城館は御七夜である」ということは事実だ
fact1: あの城館は忘れ難くて加えて取り難い fact2: 何らかの物は取り難くないとすれば「それは御七夜でないしそれは矢作川堤防であるということはない」ということは事実と異なる fact3: もし仮になんらかの物は取り難いならば「それは気変わり値でなくてまたそれは問い掛ける」ということは偽だ fact4: あの城館は包容するということはない fact5: 「そのローラント像はココット型である」ということは正しいならあの城館は御七夜でない fact6: もしその放課は取り難いなら「そのローラント像はココット型で包容する」ということは誤りだ fact7: その放課は取り難いししかもそれは矢作川堤防である fact8: あの城館は美意識であるということはない fact9: 「そのローラント像はココット型だしさらに包容する」ということは事実でない fact10: もしその放課は取り難いとすれば「そのローラント像はココット型でない一方でそれは包容する」ということは成り立たない fact11: 仮に「とある物は御七夜でなくて矢作川堤防でない」ということは成り立たないならば御七夜である fact12: そのローラント像は取り難いししかもＡ玄関である fact13: その放課は矢作川堤防である fact14: 「もし「そのローラント像はココット型でないけどそれは包容する」ということは成り立つということはないとするとあの城館は御七夜でない」ということは正しい fact15: あの年金暮らしは跳ね飛ぶしまた爛れる
fact7 -> int1: 「その放課は取り難い」ということは本当である; int1 & fact10 -> int2: 「「「そのローラント像はココット型でないが包容する」ということは本当である」ということは成り立たない」ということは事実だ; int2 & fact14 -> hypothesis;
fact7 -> int1: {A}{a}; int1 & fact10 -> int2: ¬(¬{D}{b} & {C}{b}); int2 & fact14 -> hypothesis;
「あの城館は御七夜である」ということは本当である
fact17 -> int3: もし「「あの城館は御七夜でなくてまた矢作川堤防でない」ということは成り立たない」ということは正しいとすればそれは御七夜だ; fact16 -> int4: あの城館は取り難いということはないとすると「それは御七夜でないしその上それは矢作川堤防でない」ということは正しくない;
$facts$ = fact1: あの城館は忘れ難くて加えて取り難い fact2: 何らかの物は取り難くないとすれば「それは御七夜でないしそれは矢作川堤防であるということはない」ということは事実と異なる fact3: もし仮になんらかの物は取り難いならば「それは気変わり値でなくてまたそれは問い掛ける」ということは偽だ fact4: あの城館は包容するということはない fact5: 「そのローラント像はココット型である」ということは正しいならあの城館は御七夜でない fact6: もしその放課は取り難いなら「そのローラント像はココット型で包容する」ということは誤りだ fact7: その放課は取り難いししかもそれは矢作川堤防である fact8: あの城館は美意識であるということはない fact9: 「そのローラント像はココット型だしさらに包容する」ということは事実でない fact10: もしその放課は取り難いとすれば「そのローラント像はココット型でない一方でそれは包容する」ということは成り立たない fact11: 仮に「とある物は御七夜でなくて矢作川堤防でない」ということは成り立たないならば御七夜である fact12: そのローラント像は取り難いししかもＡ玄関である fact13: その放課は矢作川堤防である fact14: 「もし「そのローラント像はココット型でないけどそれは包容する」ということは成り立つということはないとするとあの城館は御七夜でない」ということは正しい fact15: あの年金暮らしは跳ね飛ぶしまた爛れる ; $hypothesis$ = 「あの城館は御七夜である」ということは事実だ ; $proof$ = 
fact7 -> int1: 「その放課は取り難い」ということは本当である; int1 & fact10 -> int2: 「「「そのローラント像はココット型でないが包容する」ということは本当である」ということは成り立たない」ということは事実だ; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: あの城館は忘れ難くて加えて取り難い
事実2: 何らかの物は取り難くないとすれば「それは御七夜でないしそれは矢作川堤防であるということはない」ということは事実と異なる
事実3: もし仮になんらかの物は取り難いならば「それは気変わり値でなくてまたそれは問い掛ける」ということは偽だ
事実4: あの城館は包容するということはない
事実5: 「そのローラント像はココット型である」ということは正しいならあの城館は御七夜でない
事実6: もしその放課は取り難いなら「そのローラント像はココット型で包容する」ということは誤りだ
事実7: その放課は取り難いししかもそれは矢作川堤防である
事実8: あの城館は美意識であるということはない
事実9: 「そのローラント像はココット型だしさらに包容する」ということは事実でない
事実10: もしその放課は取り難いとすれば「そのローラント像はココット型でない一方でそれは包容する」ということは成り立たない
事実11: 仮に「とある物は御七夜でなくて矢作川堤防でない」ということは成り立たないならば御七夜である
事実12: そのローラント像は取り難いししかもＡ玄関である
事実13: その放課は矢作川堤防である
事実14: 「もし「そのローラント像はココット型でないけどそれは包容する」ということは成り立つということはないとするとあの城館は御七夜でない」ということは正しい
事実15: あの年金暮らしは跳ね飛ぶしまた爛れる

仮説: 「あの城館は御七夜である」ということは事実だ
1. 事実7から、推論1: "「その放課は取り難い」ということは本当である"が導かれる
2. 推論1と事実10から、推論2: "「「「そのローラント像はココット型でないが包容する」ということは本当である」ということは成り立たない」ということは事実だ"が導かれる
3. 推論2と事実14から、仮説が否定される

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