h2. Date de intrare

    Fisierul de intrare $logic.in$ contine o conversatie. Fiecare linie a fisierului contine cate o afirmatie facuta de un locuitor. Toate liniile incep cu numele interlocutorului (care este o litera mare $A$, $B$, $C$, $D$ sau $E$) urmat de ":" si apoi o afirmatie de forma:

    Fisierul de intrare $logic.in$ contine o conversatie. Fiecare linie a fisierului contine cate o afirmatie facuta de un locuitor. Toate liniile incep cu numele interlocutorului (care este o litera mare $A$,$B$,$C$,$D$ sau $E$) urmat de ":" si apoi o afirmatie de forma:

* Eu [nu] mint.
* Eu [nu] sunt {divin | om | malefic}.

|

table(example). |_. logic2.in |_. logic2.out |
| A: Eu mint.
| Imposibil.
|

table(example). |_. logic2.in |_. logic2.out |
| A: Eu sunt malefic.
| A este om.

|

table(example). |_. logic2.in |_. logic2.out |
| A: B este om.
B: A este malefic.

B este divin.
|

Exemplul 4:
logic.in
A: B este om.
B: A este malefic.
A: B este malefic
logic.out
A este malefic.
B este divin.

== include(page="template/taskfooter" task_id="logic2") ==