The lion needs the tiger. The lion does not see the rabbit. The lion visits the rabbit. The lion visits the tiger. The rabbit is nice. The rabbit is red. The rabbit is not round. The rabbit needs the tiger. The rabbit does not see the lion. The tiger is cold. The tiger is nice. The tiger is red. The tiger is rough. The tiger is not round. The tiger does not need the lion. The tiger needs the rabbit. If something visits the lion then it is rough.
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The lion does not see the rabbit.
("lion" "sees" "rabbit" "-")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit does not see the lion.
("rabbit" "sees" "lion" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something visits the lion then it is rough.
((("something" "visits" "lion" "+")) -> ("something" "is" "rough" "+"))
The rabbit needs the tiger.
True
1
proof
[(triple8)]
("rabbit" "needs" "tiger" "+")
triple8
The tiger is not red.
False
1
inv-proof
[(triple12)]
("tiger" "is" "red" "-")
triple12
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "rough" "-")
The tiger sees the lion.
Unknown
random
[@0: The tiger sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "lion" "+")
@0: The lion does not see the rabbit.[(triple2)] The lion needs the tiger.[(triple1)] The lion visits the rabbit.[(triple3)] The lion visits the tiger.[(triple4)] The rabbit does not see the lion.[(triple9)] The rabbit is nice.[(triple5)] The rabbit is not round.[(triple7)] The rabbit is red.[(triple6)] The rabbit needs the tiger.[(triple8)] The tiger does not need the lion.[(triple15)] The tiger is cold.[(triple10)] The tiger is nice.[(triple11)] The tiger is not round.[(triple14)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger needs the rabbit.[(triple16)]
The lion does not see the rabbit.
("lion" "sees" "rabbit" "-")
triple2
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple1
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple3
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple4
The rabbit does not see the lion.
("rabbit" "sees" "lion" "-")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple5
The rabbit is not round.
("rabbit" "is" "round" "-")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple8
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
triple15
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger is not round.
("tiger" "is" "round" "-")
triple14
The tiger is red.
("tiger" "is" "red" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple16