このＳＬＲＰは書き続けない
fact1: あの環境要素は法規説だ fact2: あの鍛練は書き続けるし埋め尽くす fact3: このＳＬＲＰは近寄り難い fact4: もし仮にある物が敷衍するとするとそれは中堅幹部でない fact5: 危ういものは秘事でない fact6: 注記は幼くない fact7: ＴＡＢは技でない fact8: このＳＬＲＰは色補正であるしまた剥離し難い fact9: このＳＬＲＰは剥離し難い fact10: この物売りは剥離し難くない fact11: もし「とあるものは色補正である」ということは成り立つとすると書き続けない fact12: もし「このＳＬＲＰは書き続ける」ということは成り立つとすると拡大・縮小しない fact13: あの航空隊は書き続ける fact14: あの凍土は色補正だということはない fact15: むさくるしいものは施設管理でない
fact11 -> int1: このＳＬＲＰは色補正であるとするとそれは書き続けない; fact8 -> int2: このＳＬＲＰは色補正である; int1 & int2 -> hypothesis;
fact11 -> int1: {A}{aa} -> ¬{C}{aa}; fact8 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
このＳＬＲＰは書き続ける
$facts$ = fact1: あの環境要素は法規説だ fact2: あの鍛練は書き続けるし埋め尽くす fact3: このＳＬＲＰは近寄り難い fact4: もし仮にある物が敷衍するとするとそれは中堅幹部でない fact5: 危ういものは秘事でない fact6: 注記は幼くない fact7: ＴＡＢは技でない fact8: このＳＬＲＰは色補正であるしまた剥離し難い fact9: このＳＬＲＰは剥離し難い fact10: この物売りは剥離し難くない fact11: もし「とあるものは色補正である」ということは成り立つとすると書き続けない fact12: もし「このＳＬＲＰは書き続ける」ということは成り立つとすると拡大・縮小しない fact13: あの航空隊は書き続ける fact14: あの凍土は色補正だということはない fact15: むさくるしいものは施設管理でない ; $hypothesis$ = このＳＬＲＰは書き続けない ; $proof$ = 
fact11 -> int1: このＳＬＲＰは色補正であるとするとそれは書き続けない; fact8 -> int2: このＳＬＲＰは色補正である; int1 & int2 -> hypothesis; __PROVED__
事実1: あの環境要素は法規説だ
事実2: あの鍛練は書き続けるし埋め尽くす
事実3: このＳＬＲＰは近寄り難い
事実4: もし仮にある物が敷衍するとするとそれは中堅幹部でない
事実5: 危ういものは秘事でない
事実6: 注記は幼くない
事実7: ＴＡＢは技でない
事実8: このＳＬＲＰは色補正であるしまた剥離し難い
事実9: このＳＬＲＰは剥離し難い
事実10: この物売りは剥離し難くない
事実11: もし「とあるものは色補正である」ということは成り立つとすると書き続けない
事実12: もし「このＳＬＲＰは書き続ける」ということは成り立つとすると拡大・縮小しない
事実13: あの航空隊は書き続ける
事実14: あの凍土は色補正だということはない
事実15: むさくるしいものは施設管理でない

仮説: このＳＬＲＰは書き続けない
1. 事実11から、推論1: "このＳＬＲＰは色補正であるとするとそれは書き続けない"が導かれる
2. 事実8から、推論2: "このＳＬＲＰは色補正である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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