| id | satisfied | message |
|---|---|---|
| FAC_BS1_BalanceSheetBalances (evaluation 1) | satisfied | $Assets=16000 = $LiabilitiesAndEquity=16000 |
| FAC_BS1_BalanceSheetBalances (evaluation 2) | satisfied | $Assets=41900 = $LiabilitiesAndEquity=41900 |
| FAC_BS2_AssetsEqualsCurrentPlusNoncurrentAssets (evaluation 1) | satisfied | $Assets=16000 = $AssetsCurrent=15000 + $AssetsNoncurrent=1000 |
| FAC_BS2_AssetsEqualsCurrentPlusNoncurrentAssets (evaluation 2) | satisfied | $Assets=41900 = $AssetsCurrent=28900 + $AssetsNoncurrent=13000 |
| FAC_BS3_LiabilitiesEqualsCurrentPlusNoncurrentLiabilities (evaluation 1) | satisfied | $Liabilities=2000 = $LiabilitiesCurrent=1000 + $LiabilitiesNoncurrent=1000 |
| FAC_BS3_LiabilitiesEqualsCurrentPlusNoncurrentLiabilities (evaluation 2) | satisfied | $Liabilities=6900 = $LiabilitiesCurrent=1000 + $LiabilitiesNoncurrent=5900 |
| FAC_BS4_LiabilitiesAndEquityEqualsLiabilitiesPlusEquity (evaluation 1) | satisfied | $LiabilitiesAndEquity=41900 = $Liabilities=6900 + $Equity=35000 |
| FAC_BS4_LiabilitiesAndEquityEqualsLiabilitiesPlusEquity (evaluation 2) | satisfied | $LiabilitiesAndEquity=16000 = $Liabilities=2000 + $Equity=14000 |
| FAC_IS1_GrossProfitFoots (evaluation 1) | satisfied | $GrossProfitLoss=24000 = ($RevenuesNet=48000 - $CostOfSales=24000) |
| FAC_IS2_OperatingIncomeFoots (evaluation 1) | satisfied | $OperatingIncomeLoss=21000 = ($GrossProfitLoss=24000 - $OperatingExpenses=3000) |
| FAC_IS3_IncomeLossFromContinuingOperationsBeforeTaxFoots (evaluation 1) | satisfied | $IncomeLossFromContinuingOperationsBeforeTax=21000 = ($OperatingIncomeLoss=21000 - $NonoperatingIncomeExpenses=0) |
| FAC_IS4_NetIncomeLossFoots (evaluation 1) | satisfied | $NetIncomeLoss=21000 = ($IncomeLossFromContinuingOperationsBeforeTax=21000 - $IncomeTaxExpenseBenefit=0) |
| FAC_CF1_NetCashFlowEqualsOperatingInvestingAndFinancing (evaluation 1) | satisfied | $CashFlowNet=13900 = $CashFlowProvidedByUsedInOperatingActivitiesNet=24000 + $CashFlowsProvidedByUsedInInvestingActivitiesNet=4900 + $CashFlowsProvidedByUsedInFinancingActivitiesNet=-15000 |
| FAC_Exists_Assets (evaluation 1) | satisfied | $Assets=16000 ge 0 |
| FAC_Exists_Assets (evaluation 2) | satisfied | $Assets=41900 ge 0 |
| FAC_Exists_LiabilitiesAndEquity (evaluation 1) | satisfied | $LiabilitiesAndEquity=41900 ge 0 |
| FAC_Exists_LiabilitiesAndEquity (evaluation 2) | satisfied | $LiabilitiesAndEquity=16000 ge 0 |