「「「通じ易くないし墓参りするということはない」ということは誤りであるとすれば伸し掛からない」物はある」ということは偽である
fact1: 仮にこの三色目は通じ易くないし墓参りしないならば「伸し掛からない」ということは真実だ fact2: 「通じ易くないしその上墓参りしないとしたら伸し掛かるということはない」物はある fact3: 「もし仮に「通じ易くないけれど墓参りする」ということは成り立つということはないならば伸し掛からない」ものはある fact4: 「もし仮に「通じ易くないしそれに墓参りするということはない」ということは成り立たないなら伸し掛かる」ものはある fact5: 「この三色目はちょん切らないししかも思い付かない」ということは偽であるとすれば伸し掛からない fact6: 「もしも通じ易いとすると伸し掛からない」物はある fact7: この三色目が通じ易いとしたらそれは伸し掛からない fact8: もし仮にあるものは通じ易くないしそれに墓参りしないとしたら伸し掛からない fact9: 仮に「ある物は通じ易くないしおまけに墓参りしない」ということは成り立たないならそれは伸し掛かる fact10: もし「この三色目は通じ易くないし墓参りしない」ということは成り立たないとすると伸し掛かる fact11: もしもなんらかの物が通じ易いとすれば伸し掛からない fact12: もしも「なにかは揺すり上げないし石油タンクでない」ということは確かであるということはないならばそれは組み込むということはない fact13: 「この三色目は揺すり上げないしそれは捜索すらない」ということは偽ならそれは容易くない fact14: もしも「何らかのものは通じ易くないし加えて墓参りしない」ということは間違っているとすればそれは伸し掛からない fact15: 「「この三色目は通じ易くないけれど墓参りする」ということは成り立たない」ということは真実であるとすると伸し掛からない fact16: 「もしも「すーごくなくてかつ私らしくない」ということは嘘ならば及び難くない」物はある fact17: もし仮に「ある物は通じ易くないけれど墓参りする」ということは正しくないとすると伸し掛からない fact18: 仮に「この三色目は珍しかなくてかつ混じるということはない」ということは成り立たないならそれは通じ易いということはない fact19: もしも「なにがしかのものは架設しなくてその上それは船宿でない」ということは成り立たないとすれば及び難くない
fact14 -> int1: 仮に「この三色目は通じ易くないしその上墓参りしない」ということは間違っているとすれば伸し掛からない; int1 -> hypothesis;
$facts$ = fact1: 仮にこの三色目は通じ易くないし墓参りしないならば「伸し掛からない」ということは真実だ fact2: 「通じ易くないしその上墓参りしないとしたら伸し掛かるということはない」物はある fact3: 「もし仮に「通じ易くないけれど墓参りする」ということは成り立つということはないならば伸し掛からない」ものはある fact4: 「もし仮に「通じ易くないしそれに墓参りするということはない」ということは成り立たないなら伸し掛かる」ものはある fact5: 「この三色目はちょん切らないししかも思い付かない」ということは偽であるとすれば伸し掛からない fact6: 「もしも通じ易いとすると伸し掛からない」物はある fact7: この三色目が通じ易いとしたらそれは伸し掛からない fact8: もし仮にあるものは通じ易くないしそれに墓参りしないとしたら伸し掛からない fact9: 仮に「ある物は通じ易くないしおまけに墓参りしない」ということは成り立たないならそれは伸し掛かる fact10: もし「この三色目は通じ易くないし墓参りしない」ということは成り立たないとすると伸し掛かる fact11: もしもなんらかの物が通じ易いとすれば伸し掛からない fact12: もしも「なにかは揺すり上げないし石油タンクでない」ということは確かであるということはないならばそれは組み込むということはない fact13: 「この三色目は揺すり上げないしそれは捜索すらない」ということは偽ならそれは容易くない fact14: もしも「何らかのものは通じ易くないし加えて墓参りしない」ということは間違っているとすればそれは伸し掛からない fact15: 「「この三色目は通じ易くないけれど墓参りする」ということは成り立たない」ということは真実であるとすると伸し掛からない fact16: 「もしも「すーごくなくてかつ私らしくない」ということは嘘ならば及び難くない」物はある fact17: もし仮に「ある物は通じ易くないけれど墓参りする」ということは正しくないとすると伸し掛からない fact18: 仮に「この三色目は珍しかなくてかつ混じるということはない」ということは成り立たないならそれは通じ易いということはない fact19: もしも「なにがしかのものは架設しなくてその上それは船宿でない」ということは成り立たないとすれば及び難くない ; $hypothesis$ = 「「「通じ易くないし墓参りするということはない」ということは誤りであるとすれば伸し掛からない」物はある」ということは偽である ; $proof$ = 
fact14 -> int1: 仮に「この三色目は通じ易くないしその上墓参りしない」ということは間違っているとすれば伸し掛からない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にこの三色目は通じ易くないし墓参りしないならば「伸し掛からない」ということは真実だ
事実2: 「通じ易くないしその上墓参りしないとしたら伸し掛かるということはない」物はある
事実3: 「もし仮に「通じ易くないけれど墓参りする」ということは成り立つということはないならば伸し掛からない」ものはある
事実4: 「もし仮に「通じ易くないしそれに墓参りするということはない」ということは成り立たないなら伸し掛かる」ものはある
事実5: 「この三色目はちょん切らないししかも思い付かない」ということは偽であるとすれば伸し掛からない
事実6: 「もしも通じ易いとすると伸し掛からない」物はある
事実7: この三色目が通じ易いとしたらそれは伸し掛からない
事実8: もし仮にあるものは通じ易くないしそれに墓参りしないとしたら伸し掛からない
事実9: 仮に「ある物は通じ易くないしおまけに墓参りしない」ということは成り立たないならそれは伸し掛かる
事実10: もし「この三色目は通じ易くないし墓参りしない」ということは成り立たないとすると伸し掛かる
事実11: もしもなんらかの物が通じ易いとすれば伸し掛からない
事実12: もしも「なにかは揺すり上げないし石油タンクでない」ということは確かであるということはないならばそれは組み込むということはない
事実13: 「この三色目は揺すり上げないしそれは捜索すらない」ということは偽ならそれは容易くない
事実14: もしも「何らかのものは通じ易くないし加えて墓参りしない」ということは間違っているとすればそれは伸し掛からない
事実15: 「「この三色目は通じ易くないけれど墓参りする」ということは成り立たない」ということは真実であるとすると伸し掛からない
事実16: 「もしも「すーごくなくてかつ私らしくない」ということは嘘ならば及び難くない」物はある
事実17: もし仮に「ある物は通じ易くないけれど墓参りする」ということは正しくないとすると伸し掛からない
事実18: 仮に「この三色目は珍しかなくてかつ混じるということはない」ということは成り立たないならそれは通じ易いということはない
事実19: もしも「なにがしかのものは架設しなくてその上それは船宿でない」ということは成り立たないとすれば及び難くない

仮説: 「「「通じ易くないし墓参りするということはない」ということは誤りであるとすれば伸し掛からない」物はある」ということは偽である
1. 事実14から、推論1: "仮に「この三色目は通じ易くないしその上墓参りしない」ということは間違っているとすれば伸し掛からない"が導かれる
2. 推論1から、仮説が否定される

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