| id | satisfied | message |
|---|---|---|
| Arithmetic_BS01 (evaluation 1) | satisfied | $Assets=16000 = ($Liabilities=2000 + $Equity=14000) |
| Arithmetic_BS01 (evaluation 2) | satisfied | $Assets=41900 = ($Liabilities=6900 + $Equity=35000) |
| Arithmetic_BS02 (evaluation 1) | satisfied | $Assets=16000 = ($CurrentAssets=15000 + $NoncurrentAssets=1000) |
| Arithmetic_BS02 (evaluation 2) | satisfied | $Assets=41900 = ($CurrentAssets=28900 + $NoncurrentAssets=13000) |
| Arithmetic_BS03 (evaluation 1) | satisfied | $Liabilities=2000 = ($CurrentLiabilities=1000 + $NoncurrentLiabilities=1000) |
| Arithmetic_BS03 (evaluation 2) | satisfied | $Liabilities=6900 = ($CurrentLiabilities=1000 + $NoncurrentLiabilities=5900) |
| Arithmetic_CF01 (evaluation 1) | satisfied | $NetCashFlow=13900 = ($NetCashFlowOperatingActivities=24000 + $NetCashFlowFinancingActivities=4900 + $NetCashFlowInvestingActivities=-15000) |
| RollForward_RF1 (evaluation 1) | satisfied | $CashAndCashEquivalents_BalanceStart=13000 + $NetCashFlow=13900 = $CashAndCashEquivalents_BalanceEnd=26900 |
| RollForward_RF2 (evaluation 1) | satisfied | $Equity_BalanceStart=14000 + $NetIncomeLoss=21000 = $Equity_BalanceEnd=35000 |
| RollForward_RF3 (evaluation 1) | satisfied | $CashAndCashEquivalents_BalanceStart=13000 + $CollectionReceivables=48000 - $PaymentOfAccountsPayable=24000 + $AdditionalLongtermBorrowings=6000 - $RepaymentLongtermBorrowings=1100 - $CapitalAdditionsPropertyPlantAndEquipment=15000 = $CashAndCashEquivalents_BalanceEnd=26900 |
| RollForward_RF4 (evaluation 1) | satisfied | $Receivables_BalanceStart=1000 + $Sales=48000 - $CollectionReceivables=48000 - $AdditionsToAllowanceForBadDebts=0 - $BadDebtsWrittenOff=0 = $Receivables_BalanceEnd=1000 |
| RollForward_RF5 (evaluation 1) | satisfied | $Inventories_BalanceStart=1000 + $PurchasesOfInventoryForSale=24000 - $CostsOfSales=24000 - $InventoryWrittenOff=0 = $Inventories_BalanceEnd=1000 |
| RollForward_RF6 (evaluation 1) | satisfied | $PropertyPlantAndEquipment_BalanceStart=1000 + $CapitalAdditionsPropertyPlantAndEquipment=15000 - $DepreciationAndAmortization=3000 - $PropertyPlantAndEquipmentWrittenOff=0 = $PropertyPlantAndEquipment_BalanceEnd=13000 |
| RollForward_RF7 (evaluation 1) | satisfied | $AccountsPayable_BalanceStart=1000 + $PurchasesOfInventoryForSale=24000 - $PaymentOfAccountsPayable=24000 = $AccountsPayable_BalanceEnd=1000 |
| RollForward_RF8 (evaluation 1) | satisfied | $LongtermDebt_BalanceStart=1000 + $AdditionalLongtermBorrowings=6000 - $RepaymentLongtermBorrowings=1100 = $LongtermDebt_BalanceEnd=5900 |
| RollForward_RF9 (evaluation 1) | satisfied | $RetainedEarnings_BalanceStart=14000 + $NetIncomeLoss=21000 = $RetainedEarnings_BalanceEnd=35000 |