その登記事務は記入だ
fact1: 「何らかの物は同年分だ一方で判断し兼ねらない」ということは嘘だとすると記入だ fact2: その登記事務は同年分であるということはないとするとそれは記入だ fact3: その登記事務はギプスだということはない fact4: 「なんらかの物はコーポラティズムであるしそれはギプスだ」ということは正しいならばそれは記入であるということはない fact5: もしも「その登記事務はギプスでない」ということは本当であるなら「同年分だしさらにそれは判断し兼ねらない」ということは事実と異なる fact6: その署名済みは記入でない
fact1 -> int1: もし「その登記事務は同年分だがしかし判断し兼ねらない」ということは誤りだとするとそれは記入である; fact3 & fact5 -> int2: 「その登記事務は同年分であるが判断し兼ねらない」ということは間違っている; int1 & int2 -> hypothesis;
その登記事務は記入でない
fact7 -> int3: もしも「その登記事務はコーポラティズムだしそれにギプスである」ということは事実であるなら記入でない;
$facts$ = fact1: 「何らかの物は同年分だ一方で判断し兼ねらない」ということは嘘だとすると記入だ fact2: その登記事務は同年分であるということはないとするとそれは記入だ fact3: その登記事務はギプスだということはない fact4: 「なんらかの物はコーポラティズムであるしそれはギプスだ」ということは正しいならばそれは記入であるということはない fact5: もしも「その登記事務はギプスでない」ということは本当であるなら「同年分だしさらにそれは判断し兼ねらない」ということは事実と異なる fact6: その署名済みは記入でない ; $hypothesis$ = その登記事務は記入だ ; $proof$ = 
fact1 -> int1: もし「その登記事務は同年分だがしかし判断し兼ねらない」ということは誤りだとするとそれは記入である; fact3 & fact5 -> int2: 「その登記事務は同年分であるが判断し兼ねらない」ということは間違っている; int1 & int2 -> hypothesis; __PROVED__
事実1: 「何らかの物は同年分だ一方で判断し兼ねらない」ということは嘘だとすると記入だ
事実2: その登記事務は同年分であるということはないとするとそれは記入だ
事実3: その登記事務はギプスだということはない
事実4: 「なんらかの物はコーポラティズムであるしそれはギプスだ」ということは正しいならばそれは記入であるということはない
事実5: もしも「その登記事務はギプスでない」ということは本当であるなら「同年分だしさらにそれは判断し兼ねらない」ということは事実と異なる
事実6: その署名済みは記入でない

仮説: その登記事務は記入だ
1. 事実1から、推論1: "もし「その登記事務は同年分だがしかし判断し兼ねらない」ということは誤りだとするとそれは記入である"が導かれる
2. 事実3と事実5から、推論2: "「その登記事務は同年分であるが判断し兼ねらない」ということは間違っている"が導かれる
3. 推論1と推論2から、仮説が導かれる

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