:root{--color-bg: #F7F5EF;--color-surface: #FFFFFF;--color-surface-sage: #EEF2EB;--color-primary: #29483B;--color-primary-hover: #1f372d;--color-sage: #8FA895;--color-sage-light: #d6e2d9;--color-olive: #B3B99A;--color-terracotta: #C47D63;--color-terracotta-light: #fbeee8;--color-terracotta-dark: #a25c43;--color-text: #292D29;--color-text-secondary: #727A72;--color-text-muted: #9da59d;--color-border: #E5E3DA;--color-border-subtle: #eeece4;--color-border-dark: #cfccc2;--state-true-bg: #eaf1ec;--state-true-border: #8FA895;--state-true-text: #224332;--state-false-bg: #f9ede7;--state-false-border: #C47D63;--state-false-text: #8e4229;--state-unknown-bg: #f2f1ec;--state-unknown-border: #c8c5b9;--state-unknown-text: #595e59;--font-heading: "DM Sans", "Manrope", -apple-system, BlinkMacSystemFont, sans-serif;--font-body: "Inter", -apple-system, BlinkMacSystemFont, sans-serif;--font-mono: "JetBrains Mono", "Fira Code", "Consolas", monospace;--space-2xs: .25rem;--space-xs: .375rem;--space-sm: .625rem;--space-md: 1rem;--space-lg: 1.375rem;--space-xl: 2rem;--space-2xl: 2.75rem;--radius-sm: 6px;--radius-md: 9px;--radius-lg: 12px;--shadow-subtle: 0 1px 2px rgba(41, 45, 41, .04);--shadow-card: 0 1px 3px rgba(41, 45, 41, .05), 0 4px 12px rgba(41, 45, 41, .02)}*,*:before,*:after{margin:0;padding:0;box-sizing:border-box}html{font-size:16px;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}body{font-family:var(--font-body);background-color:var(--color-bg);color:var(--color-text);line-height:1.6;min-height:100vh}h1,h2,h3,h4,h5,h6{font-family:var(--font-heading);color:var(--color-text);font-weight:600;letter-spacing:-.015em}.app-container{display:flex;flex-direction:column;min-height:100vh}.main-content{flex:1;max-width:980px;width:100%;margin:0 auto;padding:var(--space-xl) var(--space-lg) var(--space-2xl)}.page-header{margin-bottom:var(--space-lg)}.page-eyebrow{display:inline-block;font-size:.75rem;text-transform:uppercase;letter-spacing:.08em;font-weight:600;color:var(--color-primary);margin-bottom:var(--space-xs);background-color:var(--color-surface-sage);padding:.2rem .55rem;border-radius:var(--radius-sm);border:1px solid var(--color-border)}.section-title{font-size:1.65rem;font-weight:700;color:var(--color-primary);margin-bottom:var(--space-xs);line-height:1.25}.section-subtitle{font-size:.95rem;color:var(--color-text-secondary);line-height:1.6;max-width:800px}.navbar{background:var(--color-surface);border-bottom:1px solid var(--color-border);box-shadow:var(--shadow-subtle);position:sticky;top:0;z-index:100}.navbar-inner{max-width:980px;margin:0 auto;padding:0 var(--space-lg);display:flex;align-items:center;justify-content:space-between;gap:var(--space-md);min-height:60px}.navbar-brand{display:flex;align-items:center;gap:.75rem;background:none;border:none;cursor:pointer;padding:.25rem 0;text-align:left}.brand-mark{width:32px;height:32px;background:var(--color-surface-sage);color:var(--color-primary);border:1px solid var(--color-border);border-radius:var(--radius-md);display:flex;align-items:center;justify-content:center;padding:5px}.brand-mark svg{width:100%;height:100%}.brand-text{display:flex;flex-direction:column}.brand-title{font-family:var(--font-heading);font-weight:700;font-size:1.05rem;color:var(--color-primary);line-height:1.1;letter-spacing:-.01em}.brand-subtitle{font-size:.7rem;color:var(--color-text-secondary);font-weight:500;letter-spacing:.02em}.navbar-links{display:flex;gap:.35rem;overflow-x:auto;padding:.25rem 0}.nav-item{background:transparent;border:1px solid transparent;font-family:var(--font-body);font-size:.85rem;font-weight:500;padding:.45rem .8rem;border-radius:var(--radius-sm);color:var(--color-text-secondary);cursor:pointer;transition:all .15s ease-in-out;white-space:nowrap}.nav-item:hover{color:var(--color-primary);background-color:var(--color-surface-sage);border-color:var(--color-border)}.nav-item.active{background-color:var(--color-primary);color:#fff;border-color:var(--color-primary);font-weight:600}.card{background:var(--color-surface);border:1px solid var(--color-border);border-radius:var(--radius-lg);padding:var(--space-xl);margin-bottom:var(--space-lg);box-shadow:var(--shadow-card)}.card-header{margin-bottom:var(--space-lg);padding-bottom:var(--space-sm);border-bottom:1px solid var(--color-border-subtle)}.card-header h2{font-size:1.15rem;font-weight:600;color:var(--color-primary);margin-bottom:.25rem}.card-header p{font-size:.875rem;color:var(--color-text-secondary)}.disclaimer{background:var(--color-surface);border:1px solid var(--color-border);border-left:4px solid var(--color-terracotta);border-radius:var(--radius-md);padding:var(--space-md) var(--space-lg);font-size:.85rem;color:var(--color-text);margin:var(--space-lg) 0 var(--space-xl);box-shadow:var(--shadow-subtle)}.disclaimer-header{display:flex;align-items:center;gap:.4rem;font-size:.825rem;text-transform:uppercase;letter-spacing:.05em;color:var(--color-terracotta);margin-bottom:.25rem}.disclaimer-icon{font-weight:700;font-size:.9rem}.disclaimer p{line-height:1.5;color:var(--color-text-secondary)}.workflow{display:flex;align-items:center;gap:.5rem;margin:var(--space-md) 0 var(--space-lg);overflow-x:auto;padding:.5rem 0}.workflow-step{background:var(--color-surface-sage);border:1px solid var(--color-border);border-radius:var(--radius-sm);padding:.5rem .85rem;font-size:.8rem;font-weight:600;color:var(--color-primary);white-space:nowrap;text-align:center;box-shadow:var(--shadow-subtle)}.workflow-arrow{font-size:1.1rem;color:var(--color-sage);flex-shrink:0;-webkit-user-select:none;user-select:none}.inference-box{background:var(--color-surface-sage);border:1px solid var(--color-border);border-left:3px solid var(--color-primary);border-radius:var(--radius-md);padding:var(--space-md) var(--space-lg);margin:var(--space-md) 0;font-family:var(--font-mono);font-size:.85rem;line-height:1.8;color:var(--color-primary)}.inference-box .frac-line{border-top:1.5px solid var(--color-primary);margin:.25rem 0;width:170px}.formula{font-family:var(--font-mono);font-size:.875rem;background:var(--color-surface-sage);color:var(--color-primary);padding:.15rem .5rem;border-radius:var(--radius-sm);border:1px solid var(--color-border);display:inline-block}.formula-block{font-family:var(--font-mono);font-size:1.05rem;background:var(--color-surface-sage);color:var(--color-primary);padding:var(--space-md);border-radius:var(--radius-md);text-align:center;margin:var(--space-sm) 0 var(--space-md);border:1px solid var(--color-border);font-weight:500}.rule-display{display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:var(--space-md);margin:var(--space-md) 0}.rule-card{background:var(--color-surface);border:1px solid var(--color-border);border-top:3px solid var(--color-sage);border-radius:var(--radius-md);padding:var(--space-lg);box-shadow:var(--shadow-subtle);transition:all .15s ease-in-out;display:flex;flex-direction:column}.rule-card:hover{border-color:var(--color-border-dark);box-shadow:var(--shadow-card)}.rule-card h3{font-size:.975rem;font-weight:600;margin-bottom:var(--space-xs);color:var(--color-primary)}.rule-card p{font-size:.85rem;color:var(--color-text-secondary);line-height:1.55}button.rule-card{font-family:inherit;cursor:pointer;background:var(--color-surface);border-left:1px solid var(--color-border);border-right:1px solid var(--color-border);border-bottom:1px solid var(--color-border)}button.rule-card:hover h3{color:var(--color-primary-hover)}.form-group{margin-bottom:var(--space-md)}.form-label{display:block;font-size:.75rem;font-weight:600;color:var(--color-text-secondary);margin-bottom:var(--space-xs);text-transform:uppercase;letter-spacing:.06em}.form-input{width:100%;padding:.6rem .85rem;font-family:var(--font-body);font-size:.9rem;border:1px solid var(--color-border-dark);border-radius:var(--radius-sm);background:var(--color-surface);color:var(--color-text);transition:border-color .15s ease,box-shadow .15s ease}.form-input:focus{outline:none;border-color:var(--color-primary);box-shadow:0 0 0 3px #29483b1a}.btn-group{display:flex;gap:var(--space-sm);flex-wrap:wrap;align-items:center}.btn{display:inline-flex;align-items:center;justify-content:center;padding:.55rem 1.15rem;font-family:var(--font-body);font-size:.85rem;font-weight:600;border-radius:var(--radius-sm);cursor:pointer;transition:all .15s ease-in-out;white-space:nowrap}.btn-primary{background:var(--color-primary);color:#fff;border:1px solid var(--color-primary)}.btn-primary:hover{background:var(--color-primary-hover);border-color:var(--color-primary-hover)}.btn-secondary{background:var(--color-surface);color:var(--color-text-secondary);border:1px solid var(--color-border-dark)}.btn-secondary:hover{background:var(--color-surface-sage);color:var(--color-text);border-color:var(--color-border-dark)}.input-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:var(--space-md);margin-bottom:var(--space-lg)}.input-item{display:flex;flex-direction:column;gap:var(--space-2xs);background:var(--color-surface-sage);padding:var(--space-md);border-radius:var(--radius-md);border:1px solid var(--color-border)}.input-item .proposition-name{font-family:var(--font-heading);font-weight:600;color:var(--color-primary);font-size:.95rem}.input-item .proposition-desc{font-size:.8rem;color:var(--color-text-secondary);margin-bottom:var(--space-xs);min-height:2.2em}.toggle-group{display:flex;background:var(--color-surface);border:1px solid var(--color-border-dark);border-radius:var(--radius-sm);padding:2px;width:100%;max-width:270px}.toggle-btn{flex:1;padding:.35rem .5rem;font-family:var(--font-body);font-size:.8rem;font-weight:500;border:1px solid transparent;border-radius:4px;cursor:pointer;transition:all .12s ease;background:transparent;color:var(--color-text-secondary);text-align:center}.toggle-btn:hover:not([class*=selected-]){background:var(--color-surface-sage);color:var(--color-text)}.toggle-btn.selected-true{background:var(--state-true-bg);border-color:var(--state-true-border);color:var(--state-true-text);font-weight:600}.toggle-btn.selected-false{background:var(--state-false-bg);border-color:var(--state-false-border);color:var(--state-false-text);font-weight:600}.toggle-btn.selected-unknown{background:var(--state-unknown-bg);border-color:var(--state-unknown-border);color:var(--state-unknown-text);font-weight:600}.result-card{background:var(--color-surface);border:1px solid var(--color-border);border-radius:var(--radius-md);padding:var(--space-md) var(--space-lg);margin-bottom:var(--space-md);box-shadow:var(--shadow-subtle)}.result-card.fired{border-left:4px solid var(--color-sage);background:#fbfdfa}.result-card.not-fired{border-left:4px solid var(--color-border-dark);background:var(--color-surface)}.result-card.contradiction{border-left:4px solid var(--color-terracotta);background:var(--color-terracotta-light)}.result-title{font-family:var(--font-heading);font-weight:600;font-size:.95rem;color:var(--color-text);margin-bottom:var(--space-xs);display:flex;align-items:center;justify-content:space-between;gap:var(--space-sm)}.result-title .badge{font-family:var(--font-body);font-size:.7rem;font-weight:600;text-transform:uppercase;letter-spacing:.05em;padding:.2rem .55rem;border-radius:var(--radius-sm);border:1px solid transparent}.badge-fired{background:var(--state-true-bg);border-color:var(--state-true-border);color:var(--state-true-text)}.badge-not-fired{background:var(--state-unknown-bg);border-color:var(--state-unknown-border);color:var(--state-unknown-text)}.badge-contradiction{background:var(--state-false-bg);border-color:var(--state-false-border);color:var(--state-false-text)}.result-detail{font-size:.85rem;color:var(--color-text-secondary);margin-bottom:.2rem;line-height:1.5}.result-detail strong{color:var(--color-text);font-weight:600}.result-explanation{font-size:.825rem;color:var(--color-text-secondary);margin-top:var(--space-sm);padding-top:var(--space-sm);border-top:1px solid var(--color-border-subtle);line-height:1.5}.truth-table-container{overflow-x:auto;margin:var(--space-md) 0;border:1px solid var(--color-border);border-radius:var(--radius-md);background:var(--color-surface)}.truth-table{width:100%;border-collapse:collapse;font-size:.875rem;font-family:var(--font-mono)}.truth-table th{background:var(--color-surface-sage);color:var(--color-primary);padding:.65rem .85rem;text-align:center;font-weight:600;border-bottom:1.5px solid var(--color-border-dark);font-size:.8rem}.truth-table td{padding:.55rem .85rem;text-align:center;border-bottom:1px solid var(--color-border)}.truth-table tr:nth-child(2n){background-color:#faf9f5}.truth-table tr:hover{background-color:var(--color-surface-sage)}.truth-table .val-true{color:var(--state-true-text);font-weight:600}.truth-table .val-false{color:var(--state-false-text);font-weight:600}.truth-table .result-col{border-left:1.5px solid var(--color-border-dark);font-weight:600;background-color:#8fa89514}.explanation-block{background:var(--color-surface-sage);border:1px solid var(--color-border);border-radius:var(--radius-md);padding:var(--space-md) var(--space-lg);margin:var(--space-md) 0;font-size:.85rem;line-height:1.6;color:var(--color-text-secondary)}.explanation-block h4{font-size:.9rem;font-weight:600;color:var(--color-primary);margin-bottom:var(--space-xs)}.explanation-block ul{list-style:disc;margin-left:var(--space-lg);margin-top:var(--space-xs)}.explanation-block li{margin-bottom:.25rem}.explanation-block code{font-family:var(--font-mono);font-size:.8rem;background:#fff;color:var(--color-primary);padding:.1rem .35rem;border-radius:var(--radius-sm);border:1px solid var(--color-border)}.predicate-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(250px,1fr));gap:var(--space-md);margin:var(--space-md) 0}.individual-card{background:var(--color-surface);border:1px solid var(--color-border);border-radius:var(--radius-md);padding:var(--space-md) var(--space-lg);box-shadow:var(--shadow-subtle)}.individual-card h4{font-size:.95rem;font-weight:600;margin-bottom:var(--space-sm);color:var(--color-primary);border-bottom:1px solid var(--color-border-subtle);padding-bottom:.35rem}.error-message{background:var(--color-terracotta-light);border:1px solid var(--color-terracotta);border-radius:var(--radius-md);padding:var(--space-sm) var(--space-md);color:var(--color-terracotta-dark);font-size:.85rem;margin:var(--space-md) 0}@media(max-width:640px){.main-content{padding:var(--space-md) var(--space-sm)}.card{padding:var(--space-md)}.navbar-inner{padding:0 var(--space-sm);flex-direction:column;align-items:flex-start;gap:.5rem;padding-top:.5rem;padding-bottom:.5rem}.navbar-links{width:100%}.input-grid,.rule-display,.predicate-grid{grid-template-columns:1fr}}