その意見一致は筋張る
fact1: 仮に「あの居住地域は処刑するしそれは千九百八十年代初めである」ということは成り立たないとしたらそれは千九百八十年代初めでない fact2: もしあるものは百姓らしくないなら「それは処刑するしおまけに千九百八十年代初めである」ということは成り立たない fact3: もしも「その意見一致は一国内でない」ということは確かであるなら筋張らないけれど湿気易い fact4: 「いとおしまない」物はある fact5: その意見一致は一国内でない fact6: もし仮にその意見一致が一国内だということはないとするとそれは湿気易い fact7: 「この印刷レイアウトは筋張る」ということは確かだとしたらその意見一致は筋張る fact8: その意見一致は湿気易い fact9: その意見一致は専有するということはない fact10: 錬鉄製は百姓らしくない fact11: この朱印状は促進しない一方でそれは一国内である fact12: もし仮になにかは千九百八十年代初めであるということはないしその上一国内でないならばそれは筋張るということはない
fact3 & fact5 -> int1: 「その意見一致は筋張らないけど湿気易い」ということは確かだ; int1 -> hypothesis;
fact3 & fact5 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> hypothesis;
その意見一致は筋張る
fact17 -> int2: もし「あの居住地域は百姓らしい」ということは誤っていれば「処刑するしまたそれは千九百八十年代初めだ」ということは間違っている; fact15 -> int3: もし仮にあの居住地域は錬鉄製だとすれば「それは百姓らしくない」ということは正しい;
$facts$ = fact1: 仮に「あの居住地域は処刑するしそれは千九百八十年代初めである」ということは成り立たないとしたらそれは千九百八十年代初めでない fact2: もしあるものは百姓らしくないなら「それは処刑するしおまけに千九百八十年代初めである」ということは成り立たない fact3: もしも「その意見一致は一国内でない」ということは確かであるなら筋張らないけれど湿気易い fact4: 「いとおしまない」物はある fact5: その意見一致は一国内でない fact6: もし仮にその意見一致が一国内だということはないとするとそれは湿気易い fact7: 「この印刷レイアウトは筋張る」ということは確かだとしたらその意見一致は筋張る fact8: その意見一致は湿気易い fact9: その意見一致は専有するということはない fact10: 錬鉄製は百姓らしくない fact11: この朱印状は促進しない一方でそれは一国内である fact12: もし仮になにかは千九百八十年代初めであるということはないしその上一国内でないならばそれは筋張るということはない ; $hypothesis$ = その意見一致は筋張る ; $proof$ = 
fact3 & fact5 -> int1: 「その意見一致は筋張らないけど湿気易い」ということは確かだ; int1 -> hypothesis; __DISPROVED__
事実1: 仮に「あの居住地域は処刑するしそれは千九百八十年代初めである」ということは成り立たないとしたらそれは千九百八十年代初めでない
事実2: もしあるものは百姓らしくないなら「それは処刑するしおまけに千九百八十年代初めである」ということは成り立たない
事実3: もしも「その意見一致は一国内でない」ということは確かであるなら筋張らないけれど湿気易い
事実4: 「いとおしまない」物はある
事実5: その意見一致は一国内でない
事実6: もし仮にその意見一致が一国内だということはないとするとそれは湿気易い
事実7: 「この印刷レイアウトは筋張る」ということは確かだとしたらその意見一致は筋張る
事実8: その意見一致は湿気易い
事実9: その意見一致は専有するということはない
事実10: 錬鉄製は百姓らしくない
事実11: この朱印状は促進しない一方でそれは一国内である
事実12: もし仮になにかは千九百八十年代初めであるということはないしその上一国内でないならばそれは筋張るということはない

仮説: その意見一致は筋張る
1. 事実3と事実5から、推論1: "「その意見一致は筋張らないけど湿気易い」ということは確かだ"が導かれる
2. 推論1から、仮説が否定される

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