「「仮にＴＢＯＣレジストなら「「加入員番号でないか他宗でないかあるいはどちらもだ」ということは本当である」ということは間違いである」物はある」ということは誤りである
fact1: 「もし仮にＴＢＯＣレジストだとすれば「加入員番号であるかまたは他宗でない」ということは間違いである」ものはある fact2: もし仮にその一月現在はＴＢＯＣレジストだとすると「それは加入員番号であるかあるいは他宗でない」ということは成り立つということはない fact3: 「仮にその一月現在がＴＢＯＣレジストだとしたらその一月現在は他宗だ」ということは成り立つ fact4: その一月現在はＴＢＯＣレジストなら「それは加入員番号でないかもしくはそれは他宗だということはないかまたはどちらもだ」ということは事実と異なる fact5: 「仮に「ＴＢＯＣレジストだ」ということは真実であるなら「他宗である」ということは真実である」ものはある fact6: なんらかの物はきもいとすれば「それはＴＢＯＣレジストでないかもしくは指導等でないかもしくは両方ともである」ということは成り立たない fact7: 「もしもＴＢＯＣレジストだとすれば加入員番号である」ものはある fact8: 「もしＴＢＯＣレジストであるならば「加入員番号でないかあるいは他宗であるかあるいはどちらもだ」ということは間違いな」物はある fact9: 仮にその一月現在はＴＢＯＣレジストであるとすれば「それは加入員番号でないかあるいは他宗でないかまたはどちらもである」ということは事実だ fact10: 仮にその一月現在は加入員番号だとすれば「それは狙い易くないかもしくは死別しないかあるいはどちらもだ」ということは事実と異なる fact11: 「仮に「ＴＢＯＣレジストである」ということは成り立つとすれば「加入員番号でないかまたは他宗でないかまたは両方である」ということは間違いでない」ものはある
fact4 -> hypothesis;
もし「あの山沿いはきもい」ということは間違いでないとすれば「それはＴＢＯＣレジストでないかあるいは指導等でないかまたは両方ともだ」ということは成り立たない
fact12 -> hypothesis;
$facts$ = fact1: 「もし仮にＴＢＯＣレジストだとすれば「加入員番号であるかまたは他宗でない」ということは間違いである」ものはある fact2: もし仮にその一月現在はＴＢＯＣレジストだとすると「それは加入員番号であるかあるいは他宗でない」ということは成り立つということはない fact3: 「仮にその一月現在がＴＢＯＣレジストだとしたらその一月現在は他宗だ」ということは成り立つ fact4: その一月現在はＴＢＯＣレジストなら「それは加入員番号でないかもしくはそれは他宗だということはないかまたはどちらもだ」ということは事実と異なる fact5: 「仮に「ＴＢＯＣレジストだ」ということは真実であるなら「他宗である」ということは真実である」ものはある fact6: なんらかの物はきもいとすれば「それはＴＢＯＣレジストでないかもしくは指導等でないかもしくは両方ともである」ということは成り立たない fact7: 「もしもＴＢＯＣレジストだとすれば加入員番号である」ものはある fact8: 「もしＴＢＯＣレジストであるならば「加入員番号でないかあるいは他宗であるかあるいはどちらもだ」ということは間違いな」物はある fact9: 仮にその一月現在はＴＢＯＣレジストであるとすれば「それは加入員番号でないかあるいは他宗でないかまたはどちらもである」ということは事実だ fact10: 仮にその一月現在は加入員番号だとすれば「それは狙い易くないかもしくは死別しないかあるいはどちらもだ」ということは事実と異なる fact11: 「仮に「ＴＢＯＣレジストである」ということは成り立つとすれば「加入員番号でないかまたは他宗でないかまたは両方である」ということは間違いでない」ものはある ; $hypothesis$ = 「「仮にＴＢＯＣレジストなら「「加入員番号でないか他宗でないかあるいはどちらもだ」ということは本当である」ということは間違いである」物はある」ということは誤りである ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「もし仮にＴＢＯＣレジストだとすれば「加入員番号であるかまたは他宗でない」ということは間違いである」ものはある
事実2: もし仮にその一月現在はＴＢＯＣレジストだとすると「それは加入員番号であるかあるいは他宗でない」ということは成り立つということはない
事実3: 「仮にその一月現在がＴＢＯＣレジストだとしたらその一月現在は他宗だ」ということは成り立つ
事実4: その一月現在はＴＢＯＣレジストなら「それは加入員番号でないかもしくはそれは他宗だということはないかまたはどちらもだ」ということは事実と異なる
事実5: 「仮に「ＴＢＯＣレジストだ」ということは真実であるなら「他宗である」ということは真実である」ものはある
事実6: なんらかの物はきもいとすれば「それはＴＢＯＣレジストでないかもしくは指導等でないかもしくは両方ともである」ということは成り立たない
事実7: 「もしもＴＢＯＣレジストだとすれば加入員番号である」ものはある
事実8: 「もしＴＢＯＣレジストであるならば「加入員番号でないかあるいは他宗であるかあるいはどちらもだ」ということは間違いな」物はある
事実9: 仮にその一月現在はＴＢＯＣレジストであるとすれば「それは加入員番号でないかあるいは他宗でないかまたはどちらもである」ということは事実だ
事実10: 仮にその一月現在は加入員番号だとすれば「それは狙い易くないかもしくは死別しないかあるいはどちらもだ」ということは事実と異なる
事実11: 「仮に「ＴＢＯＣレジストである」ということは成り立つとすれば「加入員番号でないかまたは他宗でないかまたは両方である」ということは間違いでない」ものはある

仮説: 「「仮にＴＢＯＣレジストなら「「加入員番号でないか他宗でないかあるいはどちらもだ」ということは本当である」ということは間違いである」物はある」ということは誤りである
1. 事実4から、仮説が否定される

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