この建設ＣＡＬＳは隙間無くなくてカトリシズムでない
fact1: あの鉤足罫線は取っ替えるししかも動かす fact2: もし何らかのものは生き易くないならば「隙間無くないしカトリシズムでない」ということは偽である fact3: 「取っ替えるし動かす」物があるとすればこの建設ＣＡＬＳは生き易いということはない fact4: 「あの鉤足罫線は取っ替える」ということは成り立つ fact5: もし仮になにがしかのものが取っ替えないならば隙間無くなくてカトリシズムでない fact6: もしもその職能資格等級規定が吝いということはないとすれば動かす fact7: 「「この建設ＣＡＬＳは隙間無くないけどカトリシズムである」ということは偽だ」ということは事実である fact8: もしなにがしかの物は生き易いということはないとすれば「隙間無い一方でカトリシズムでない」ということは成り立たない fact9: その職能資格等級規定は吝くない fact10: もし仮に「とある物は取っ替えるけれど生き易くない」ということは事実と異なるならそれは取っ替えない fact11: 「取っ替える」物はある
fact1 -> int1: あるものは取っ替えるし更に動かす; int1 & fact3 -> int2: この建設ＣＡＬＳは生き易くない; fact2 -> int3: もしこの建設ＣＡＬＳは生き易いということはないならば「それは隙間無くないしまたカトリシズムでない」ということは成り立たない; int2 & int3 -> hypothesis;
この建設ＣＡＬＳは隙間無くなくて加えてカトリシズムでない
fact14 -> int4: 仮にこの建設ＣＡＬＳが取っ替えないならばそれは隙間無くないしカトリシズムでない; fact12 -> int5: 「この建設ＣＡＬＳは取っ替えるがしかしそれは生き易くない」ということは真実でないなら「取っ替えない」ということは本当である; fact13 & fact15 -> int6: その職能資格等級規定は動かす;
$facts$ = fact1: あの鉤足罫線は取っ替えるししかも動かす fact2: もし何らかのものは生き易くないならば「隙間無くないしカトリシズムでない」ということは偽である fact3: 「取っ替えるし動かす」物があるとすればこの建設ＣＡＬＳは生き易いということはない fact4: 「あの鉤足罫線は取っ替える」ということは成り立つ fact5: もし仮になにがしかのものが取っ替えないならば隙間無くなくてカトリシズムでない fact6: もしもその職能資格等級規定が吝いということはないとすれば動かす fact7: 「「この建設ＣＡＬＳは隙間無くないけどカトリシズムである」ということは偽だ」ということは事実である fact8: もしなにがしかの物は生き易いということはないとすれば「隙間無い一方でカトリシズムでない」ということは成り立たない fact9: その職能資格等級規定は吝くない fact10: もし仮に「とある物は取っ替えるけれど生き易くない」ということは事実と異なるならそれは取っ替えない fact11: 「取っ替える」物はある ; $hypothesis$ = この建設ＣＡＬＳは隙間無くなくてカトリシズムでない ; $proof$ = 
fact1 -> int1: あるものは取っ替えるし更に動かす; int1 & fact3 -> int2: この建設ＣＡＬＳは生き易くない; fact2 -> int3: もしこの建設ＣＡＬＳは生き易いということはないならば「それは隙間無くないしまたカトリシズムでない」ということは成り立たない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの鉤足罫線は取っ替えるししかも動かす
事実2: もし何らかのものは生き易くないならば「隙間無くないしカトリシズムでない」ということは偽である
事実3: 「取っ替えるし動かす」物があるとすればこの建設ＣＡＬＳは生き易いということはない
事実4: 「あの鉤足罫線は取っ替える」ということは成り立つ
事実5: もし仮になにがしかのものが取っ替えないならば隙間無くなくてカトリシズムでない
事実6: もしもその職能資格等級規定が吝いということはないとすれば動かす
事実7: 「「この建設ＣＡＬＳは隙間無くないけどカトリシズムである」ということは偽だ」ということは事実である
事実8: もしなにがしかの物は生き易いということはないとすれば「隙間無い一方でカトリシズムでない」ということは成り立たない
事実9: その職能資格等級規定は吝くない
事実10: もし仮に「とある物は取っ替えるけれど生き易くない」ということは事実と異なるならそれは取っ替えない
事実11: 「取っ替える」物はある

仮説: この建設ＣＡＬＳは隙間無くなくてカトリシズムでない
1. 事実1から、推論1: "あるものは取っ替えるし更に動かす"が導かれる
2. 推論1と事実3から、推論2: "この建設ＣＡＬＳは生き易くない"が導かれる
3. 事実2から、推論3: "もしこの建設ＣＡＬＳは生き易いということはないならば「それは隙間無くないしまたカトリシズムでない」ということは成り立たない"が導かれる
4. 推論2と推論3から、仮説が否定される

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