「「あの被虐待児は悲しがらないかあるいはそれは思しない」ということは事実と異なる」ということは成り立つ
fact1: その字引きは柏田神社である fact2: もしも「その字引きは柏田神社である」ということは成り立てば「あの被虐待児は悲しがらないかあるいはそれは思しないかもしくは両方である」ということは誤っている fact3: もしその字引きが伸縮するならばあの被虐待児は柏田神社である fact4: もし仮に「何かは開示請求するし現代化する」ということは事実と異なればそれは相続対策でない fact5: 仮になにがしかのものが相続対策でないとしたらそれは伸縮するしおまけに真っ暗い
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
あの被虐待児は柏田神社だ
fact6 -> int1: もし仮にその字引きが相続対策でないとするとそれは伸縮するしそれは真っ暗い; fact8 -> int2: 「その字引きは開示請求するしそれは現代化する」ということは偽であるとするとそれは相続対策だということはない;
$facts$ = fact1: その字引きは柏田神社である fact2: もしも「その字引きは柏田神社である」ということは成り立てば「あの被虐待児は悲しがらないかあるいはそれは思しないかもしくは両方である」ということは誤っている fact3: もしその字引きが伸縮するならばあの被虐待児は柏田神社である fact4: もし仮に「何かは開示請求するし現代化する」ということは事実と異なればそれは相続対策でない fact5: 仮になにがしかのものが相続対策でないとしたらそれは伸縮するしおまけに真っ暗い ; $hypothesis$ = 「「あの被虐待児は悲しがらないかあるいはそれは思しない」ということは事実と異なる」ということは成り立つ ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: その字引きは柏田神社である
事実2: もしも「その字引きは柏田神社である」ということは成り立てば「あの被虐待児は悲しがらないかあるいはそれは思しないかもしくは両方である」ということは誤っている
事実3: もしその字引きが伸縮するならばあの被虐待児は柏田神社である
事実4: もし仮に「何かは開示請求するし現代化する」ということは事実と異なればそれは相続対策でない
事実5: 仮になにがしかのものが相続対策でないとしたらそれは伸縮するしおまけに真っ暗い

仮説: 「「あの被虐待児は悲しがらないかあるいはそれは思しない」ということは事実と異なる」ということは成り立つ
1. 事実2と事実1から、仮説が導かれる

よって、仮説が証明されました。