The lion does not eat the tiger. The lion is not green. The lion needs the rabbit. The lion needs the tiger. The rabbit does not eat the tiger. The rabbit is not nice. The rabbit is not rough. The rabbit needs the lion. The rabbit needs the tiger. The rabbit does not visit the lion. The rabbit visits the tiger. The tiger does not eat the lion. The tiger is blue. The tiger needs the rabbit. The tiger visits the lion. The tiger visits the rabbit. If the lion is rough and the lion needs the rabbit then the rabbit does not visit the lion.
The lion does not eat the tiger.
("lion" "eats" "tiger" "-")
The lion is not green.
("lion" "is" "green" "-")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If the lion is rough and the lion needs the rabbit then the rabbit does not visit the lion.
((("lion" "is" "rough" "+") ("lion" "needs" "rabbit" "+")) -> ("rabbit" "visits" "lion" "-"))
The lion needs the tiger.
True
1
proof
[(triple4)]
("lion" "needs" "tiger" "+")
triple4
The rabbit is rough.
False
1
inv-proof
[(triple7)]
("rabbit" "is" "rough" "+")
triple7
The tiger does not need the lion.
Unknown
inv-random
[@0: The tiger needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "lion" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
@0: The lion does not eat the tiger.[(triple1)] The lion is not green.[(triple2)] The lion needs the rabbit.[(triple3)] The lion needs the tiger.[(triple4)] The rabbit does not eat the tiger.[(triple5)] The rabbit does not visit the lion.[(triple10)] The rabbit is not nice.[(triple6)] The rabbit is not rough.[(triple7)] The rabbit needs the lion.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit visits the tiger.[(triple11)] The tiger does not eat the lion.[(triple12)] The tiger is blue.[(triple13)] The tiger needs the rabbit.[(triple14)] The tiger visits the lion.[(triple15)] The tiger visits the rabbit.[(triple16)]
The lion does not eat the tiger.
("lion" "eats" "tiger" "-")
triple1
The lion is not green.
("lion" "is" "green" "-")
triple2
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple3
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple4
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
triple5
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
triple10
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple6
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple7
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple8
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple9
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple11
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
triple12
The tiger is blue.
("tiger" "is" "blue" "+")
triple13
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple14
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple15
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple16