「仮に「自作する」ということは正しいとすると「ロングナイフでないかまたは絶え間無くないかあるいはどちらもだ」ということは成り立たない」ものはある
fact1: 「もし自作するとしたら「「ロングナイフでないか絶え間無いかどちらもである」ということは嘘だということはない」ということは誤りな」物はある fact2: もしもこの身体中が自作するとすればそれはロングナイフでないか絶え間無くないかあるいはどちらもだ fact3: この身体中は自作すれば「それはロングナイフでないかまたは絶え間無いということはないかどちらもだ」ということは間違っている fact4: とある物は棘突起間であるとしたら「それは遣り直しないかもしくは日本人らしいということはないかまたはどちらもである」ということは間違いだ fact5: 「もし仮に自作するとしたら「ロングナイフであるかもしくは絶え間無くないかまたは両方ともだ」ということは嘘な」物はある fact6: もしもこの身体中が自作するとすれば絶え間無い fact7: 「もし自作するなら絶え間無い」物はある fact8: 仮にこの身体中は自作するとすると「ロングナイフであるかまたは絶え間無くないかまたは両方ともである」ということは間違っている fact9: 「もしも「こないだだ」ということは成り立つとしたら恥ずかしくないかもしくはしゃがむということはない」ものはある
fact3 -> hypothesis;
「もし棘突起間であるとしたら「遣り直しないかもしくは日本人らしくない」ということは嘘である」ものはある
fact10 -> int1: もし仮にあのＴバックは棘突起間なら「それは遣り直しないかあるいは日本人らしくないかあるいはどちらもだ」ということは誤りだ; int1 -> hypothesis;
$facts$ = fact1: 「もし自作するとしたら「「ロングナイフでないか絶え間無いかどちらもである」ということは嘘だということはない」ということは誤りな」物はある fact2: もしもこの身体中が自作するとすればそれはロングナイフでないか絶え間無くないかあるいはどちらもだ fact3: この身体中は自作すれば「それはロングナイフでないかまたは絶え間無いということはないかどちらもだ」ということは間違っている fact4: とある物は棘突起間であるとしたら「それは遣り直しないかもしくは日本人らしいということはないかまたはどちらもである」ということは間違いだ fact5: 「もし仮に自作するとしたら「ロングナイフであるかもしくは絶え間無くないかまたは両方ともだ」ということは嘘な」物はある fact6: もしもこの身体中が自作するとすれば絶え間無い fact7: 「もし自作するなら絶え間無い」物はある fact8: 仮にこの身体中は自作するとすると「ロングナイフであるかまたは絶え間無くないかまたは両方ともである」ということは間違っている fact9: 「もしも「こないだだ」ということは成り立つとしたら恥ずかしくないかもしくはしゃがむということはない」ものはある ; $hypothesis$ = 「仮に「自作する」ということは正しいとすると「ロングナイフでないかまたは絶え間無くないかあるいはどちらもだ」ということは成り立たない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし自作するとしたら「「ロングナイフでないか絶え間無いかどちらもである」ということは嘘だということはない」ということは誤りな」物はある
事実2: もしもこの身体中が自作するとすればそれはロングナイフでないか絶え間無くないかあるいはどちらもだ
事実3: この身体中は自作すれば「それはロングナイフでないかまたは絶え間無いということはないかどちらもだ」ということは間違っている
事実4: とある物は棘突起間であるとしたら「それは遣り直しないかもしくは日本人らしいということはないかまたはどちらもである」ということは間違いだ
事実5: 「もし仮に自作するとしたら「ロングナイフであるかもしくは絶え間無くないかまたは両方ともだ」ということは嘘な」物はある
事実6: もしもこの身体中が自作するとすれば絶え間無い
事実7: 「もし自作するなら絶え間無い」物はある
事実8: 仮にこの身体中は自作するとすると「ロングナイフであるかまたは絶え間無くないかまたは両方ともである」ということは間違っている
事実9: 「もしも「こないだだ」ということは成り立つとしたら恥ずかしくないかもしくはしゃがむということはない」ものはある

仮説: 「仮に「自作する」ということは正しいとすると「ロングナイフでないかまたは絶え間無くないかあるいはどちらもだ」ということは成り立たない」ものはある
1. 事実3から、仮説が導かれる

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