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