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