* X [nu] minte.
* X [nu] este {divin | om | malefic}.
* Este {zi | noapte}.

    Cuvintele care sunt cuprinse intre paranteze patrate pot aparea sau nu in afirmatie. Dintre cuvintele cuprinse intre acolade, apare exact un cuvant in afirmatie. O conversatie poate avea cel mult 50 afirmatii.
h2. Date de iesire

Fisierul $logic.out$ va contine tot ceea ce se poate deduce in urmatoarea forma:

    Fisierul $logic.out$ va contine tot ceea ce se poate deduce in urmatoarea forma:

* X este {divin | malefic | om}.
* Este {zi | noapte}.

    X se inlocuieste cu numele interlocutorului. Faptele trebuie date in ordine alfabetica, sortate dupa numele interlocutorilor, iar apoi se spune daca e zi sau noapte.  Daca nu se poate deduce nimic se va tipari "Nu se poate deduce nimic.", iar daca conversatia nu respecta regulile de mai sus se va tipari "Imposibil.".
h2. Exemplu
table(example). |_. logic2.in |_. logic2.out |

| A: Eu sunt divin.
| Nu se poate deduce nimic.
|
 
 
 
table(example). |_. logic2.in |_. logic2.out |
| A: Eu mint.
| Imposibil.
|
 
 
 
table(example). |_. logic2.in |_. logic2.out |
| A: Eu sunt malefic.
| A este om.
Este noapte.
|
 
 
 
table(example). |_. logic2.in |_. logic2.out |

| A: B este om.
B: A este malefic.
A: B este malefic