「「復調しないしさらに指定出来ない」ということは誤りである」ものはある
fact1: もし仮に「なんらかの物は指定出来るけれどそれは正しない」ということは成り立たないとしたらそれは指定出来ない fact2: もしも「その借賃は零五Ｒであるかそれは新旧生産方法でない」ということは嘘であるとすればごついということはない fact3: 「その借賃は新旧生産方法であるしおまけに復調する」ということは偽であるならこの八項目は新旧生産方法だということはない fact4: 仮に「この学林は羽二重でない」ということは真実であるとしたら「それは指定出来るがしかし正しない」ということは誤っている fact5: 「この学林は指定出来るかそれはごつかない」ということは嘘だ fact6: もしも「新旧生産方法でない」物はあるとすれば「その借賃は新旧生産方法であるしそれは復調する」ということは誤りだ fact7: この学林は羽二重でない fact8: もしその借賃はごつかないとすれば「この学林は復調するということはないししかも指定出来ない」ということは成り立たない fact9: 「その借賃は零五Ｒであるかまたはそれは新旧生産方法だということはないかまたは両方である」ということは事実でない
fact2 & fact9 -> int1: その借賃はごつかない; int1 & fact8 -> int2: 「この学林は復調するということはないし指定出来ない」ということは間違っている; int2 -> hypothesis;
この八項目は新旧生産方法でない
fact13 -> int3: 仮に「この学林は指定出来るけれど正しない」ということは成り立たないなら指定出来ない; fact14 & fact12 -> int4: 「この学林は指定出来るけれど正しない」ということは事実でない; int3 & int4 -> int5: この学林は指定出来るということはない;
$facts$ = fact1: もし仮に「なんらかの物は指定出来るけれどそれは正しない」ということは成り立たないとしたらそれは指定出来ない fact2: もしも「その借賃は零五Ｒであるかそれは新旧生産方法でない」ということは嘘であるとすればごついということはない fact3: 「その借賃は新旧生産方法であるしおまけに復調する」ということは偽であるならこの八項目は新旧生産方法だということはない fact4: 仮に「この学林は羽二重でない」ということは真実であるとしたら「それは指定出来るがしかし正しない」ということは誤っている fact5: 「この学林は指定出来るかそれはごつかない」ということは嘘だ fact6: もしも「新旧生産方法でない」物はあるとすれば「その借賃は新旧生産方法であるしそれは復調する」ということは誤りだ fact7: この学林は羽二重でない fact8: もしその借賃はごつかないとすれば「この学林は復調するということはないししかも指定出来ない」ということは成り立たない fact9: 「その借賃は零五Ｒであるかまたはそれは新旧生産方法だということはないかまたは両方である」ということは事実でない ; $hypothesis$ = 「「復調しないしさらに指定出来ない」ということは誤りである」ものはある ; $proof$ = 
fact2 & fact9 -> int1: その借賃はごつかない; int1 & fact8 -> int2: 「この学林は復調するということはないし指定出来ない」ということは間違っている; int2 -> hypothesis; __PROVED__
事実1: もし仮に「なんらかの物は指定出来るけれどそれは正しない」ということは成り立たないとしたらそれは指定出来ない
事実2: もしも「その借賃は零五Ｒであるかそれは新旧生産方法でない」ということは嘘であるとすればごついということはない
事実3: 「その借賃は新旧生産方法であるしおまけに復調する」ということは偽であるならこの八項目は新旧生産方法だということはない
事実4: 仮に「この学林は羽二重でない」ということは真実であるとしたら「それは指定出来るがしかし正しない」ということは誤っている
事実5: 「この学林は指定出来るかそれはごつかない」ということは嘘だ
事実6: もしも「新旧生産方法でない」物はあるとすれば「その借賃は新旧生産方法であるしそれは復調する」ということは誤りだ
事実7: この学林は羽二重でない
事実8: もしその借賃はごつかないとすれば「この学林は復調するということはないししかも指定出来ない」ということは成り立たない
事実9: 「その借賃は零五Ｒであるかまたはそれは新旧生産方法だということはないかまたは両方である」ということは事実でない

仮説: 「「復調しないしさらに指定出来ない」ということは誤りである」ものはある
1. 事実2と事実9から、推論1: "その借賃はごつかない"が導かれる
2. 推論1と事実8から、推論2: "「この学林は復調するということはないし指定出来ない」ということは間違っている"が導かれる
3. 推論2から、仮説が導かれる

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