01.*T kino(F, A) \/ (pocuva(F, PF) \/ hra(Fero, FPS)) 02.*T kapela(PF) /\ hk(FPS) 03. T !frus(F) -> kino(F, A) 04. T frus(F) -> (pocuva(F, PF) /\ hra(F, FPS)) 05.*T !(kino(F, A) /\ (pocuva(F, PF)) /\ hra(F, FPS)) 06. T hra(F, FPS) -> pocuva(F, PF) 07. T pocuva(F, PF) -> !frus(F) 08.*F !hra(F, FPS) -> kino(F, A) 09. T kapela(PF) alpha 2 10. T hk(FPS) alpha 2 11.*T !(kino(F, A) /\ (pocuva(F, PF)) alpha 5 12. T hra(F, FPS) alpha 5 13.*T !hra(F, FPS) alpha 8 14. F kino(F, A) alpha 8 15. F kino(F, A) /\ (pocuva(F, PF) alpha 11 --------------------------------------------------------- 16. T kino(F, A) beta 1 | 17. T pocuva(F, PF) \/ hra(Fero, FPS) 18. F hra(F, FPS) alpha 13 | 19. F hra(F, FPS) alpha 13 spor 18, 12 | spor 19, 12 1. F A 2. T A \/ B -------------------------------- 3. T B beta 2 | 4. T A beta 2 | spor 1, 3 | --------------------------------- 01.*T mam(dazdnik, den) -> !prsi(den) 02.*T mokry(cesta, den) -> (prsi(den) \/ preslo(ua, cesta, den)) 03. T vikend(den) -> !preslo(ua, cesta, den) 04.*T (utorok(den) -> iE(den)) /\ [(!utorok(den) /\ !vikend(den)) -> !iE(den)] 05. T iE(den) -> !mam(dazdnik, den) 06.*F (mam(dazdnik, den) /\ mokry(cesta, den)) -> !vikend(den) 07. T utorok(den) -> iE(den) alpha 4 08. T (!utorok(den) /\ !vikend(den)) -> !iE(den) alpha 4 09.*T mam(dazdnik, den) /\ mokry(cesta, den) alpha 6 10.*F !vikend(den) alpha 6 11.+T mam(dazdnik, den) alpha 9 12.+T mokry(cesta, den) alpha 9 13.+T vikend(den) alpha 10 ---------------------------------------------------------------------- 14. F mokry(cesta, den) beta 2 | 15.*T prsi(den) \/ preslo(ua, cesta, den) beta 2 *12, 14 | ------------------------------------ ------------------------------------------------------------------------------- 16. F mam(dazdnik, den) beta 1 | 17. T !prsi(den) beta 1 *16,11 | 18.+F prsi(den) alpha 18 ------------------------------------------------------------------------------------------------------------------- 19. T prsi(dem) beta 15 | 20.+T preslo(ua, cesta, den) beta 15 *19, 18 | -------------------------------- 21. F vikend(den) beta 3 | 22. T !preslo(ua, cesta, den) beta 3 * 21, 13 | 23. F preslo(ua, cesta, den) alpha 22 | * 23, 20