Exemple Otter: truth tellers, liars & normal people

O serie de probleme rezolvate în Otter. Primele 7 implică o lume locuită doar de truth tellers și mincinoși, pe când în ultimele 3 sunt introduși și oamenii „normali” (care spun adevărul sau mint, la întâmplare). Enunț - să se afle A, B (și C) dacă:
1) A says: at least one of us (A. B) is a liar

2) A says: either I am a liar or B is a truth teller.

3) A says: all of us are liars (A, B, C)
B says: exactly one of us (from A, B, C) is a truth teller

4) A says: all of us are liars (A, B, C)
B says: exactly one of us is a liar

5) A says: B is a liar
B says: A, C are of the same type (both liars or both truth tellers)

6) A says: if I am a truth teller, then so is B

7) A says: if B is a truth teller, then I am a liar

8) A, B, C each of the following: liar, truth teller, normal
A: I am normal
B: that is true
C: I am not normal

9) A truth teller can marry a liar and vice versa. Normal person can marry only normal person. A couple says:
Mr. A: My wife is not normal
Mrs A: My husband is not normal

10) The same couple. They say:
Mr A: My wife is normal
Mrs A: My husband is normal

Soluțiile aici.