「あの適時性は怠くらないけど用い易い」ということは誤りだ
fact1: あの多寡はブランドらしい fact2: もし「なにがしかのものは怠いけどそれは疑い深くない」ということは成り立たないとすれば「それは怠くらない」ということは正しい fact3: もしもあの適時性はブランドらしくないなら「怠いしそれにそれは疑い深くない」ということは真実でない fact4: あの多寡が疑い深くないとすればあの十二世紀はブランドらしいし怠い fact5: この中央部分は働き難いかもしくはひょろ長い fact6: あの画会はひょろ長い fact7: もしこの中央部分が働き難いかまたはそれがひょろ長くないとしたらこの賃金遅配は怠い fact8: もしもこの賃金遅配は怠いならば「あの適時性は怠くらないけれど用い易い」ということは成り立つということはない fact9: もしもあの多寡がブランドらしいとするとこの中央部分は働き難いかまたはひょろ長くないかもしくはどちらもである fact10: 「あの適時性は怠いしそれに用い易い」ということは誤っている
fact9 & fact1 -> int1: この中央部分は働き難いかもしくはそれはひょろ長くない; int1 & fact7 -> int2: この賃金遅配は怠い; int2 & fact8 -> hypothesis;
この十二世紀はブランドらしい
$facts$ = fact1: あの多寡はブランドらしい fact2: もし「なにがしかのものは怠いけどそれは疑い深くない」ということは成り立たないとすれば「それは怠くらない」ということは正しい fact3: もしもあの適時性はブランドらしくないなら「怠いしそれにそれは疑い深くない」ということは真実でない fact4: あの多寡が疑い深くないとすればあの十二世紀はブランドらしいし怠い fact5: この中央部分は働き難いかもしくはひょろ長い fact6: あの画会はひょろ長い fact7: もしこの中央部分が働き難いかまたはそれがひょろ長くないとしたらこの賃金遅配は怠い fact8: もしもこの賃金遅配は怠いならば「あの適時性は怠くらないけれど用い易い」ということは成り立つということはない fact9: もしもあの多寡がブランドらしいとするとこの中央部分は働き難いかまたはひょろ長くないかもしくはどちらもである fact10: 「あの適時性は怠いしそれに用い易い」ということは誤っている ; $hypothesis$ = 「あの適時性は怠くらないけど用い易い」ということは誤りだ ; $proof$ = 
fact9 & fact1 -> int1: この中央部分は働き難いかもしくはそれはひょろ長くない; int1 & fact7 -> int2: この賃金遅配は怠い; int2 & fact8 -> hypothesis; __PROVED__
事実1: あの多寡はブランドらしい
事実2: もし「なにがしかのものは怠いけどそれは疑い深くない」ということは成り立たないとすれば「それは怠くらない」ということは正しい
事実3: もしもあの適時性はブランドらしくないなら「怠いしそれにそれは疑い深くない」ということは真実でない
事実4: あの多寡が疑い深くないとすればあの十二世紀はブランドらしいし怠い
事実5: この中央部分は働き難いかもしくはひょろ長い
事実6: あの画会はひょろ長い
事実7: もしこの中央部分が働き難いかまたはそれがひょろ長くないとしたらこの賃金遅配は怠い
事実8: もしもこの賃金遅配は怠いならば「あの適時性は怠くらないけれど用い易い」ということは成り立つということはない
事実9: もしもあの多寡がブランドらしいとするとこの中央部分は働き難いかまたはひょろ長くないかもしくはどちらもである
事実10: 「あの適時性は怠いしそれに用い易い」ということは誤っている

仮説: 「あの適時性は怠くらないけど用い易い」ということは誤りだ
1. 事実9と事実1から、推論1: "この中央部分は働き難いかもしくはそれはひょろ長くない"が導かれる
2. 推論1と事実7から、推論2: "この賃金遅配は怠い"が導かれる
3. 推論2と事実8から、仮説が導かれる

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