The cat does not chase the rabbit. The cat eats the lion. The dog chases the cat. The dog eats the cat. The lion chases the rabbit. The lion is not cold. The rabbit chases the dog. If something is blue and not green then it does not eat the dog.
The cat does not chase the rabbit.
("cat" "chases" "rabbit" "-")
The cat eats the lion.
("cat" "eats" "lion" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
If something is blue and not green then it does not eat the dog.
((("something" "is" "blue" "+") ("something" "is" "green" "~")) -> ("something" "eats" "dog" "-"))
The cat does not chase the rabbit.
True
1
proof
[(triple1)]
("cat" "chases" "rabbit" "-")
triple1
The cat does not eat the lion.
False
1
inv-proof
[(triple2)]
("cat" "eats" "lion" "-")
triple2
The dog does not eat the lion.
Unknown
inv-random
[@0: The dog eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "lion" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The cat does not chase the rabbit.[(triple1)] The cat eats the lion.[(triple2)] The dog chases the cat.[(triple3)] The dog eats the cat.[(triple4)] The lion chases the rabbit.[(triple5)] The lion is not cold.[(triple6)] The rabbit chases the dog.[(triple7)]
The cat does not chase the rabbit.
("cat" "chases" "rabbit" "-")
triple1
The cat eats the lion.
("cat" "eats" "lion" "+")
triple2
The dog chases the cat.
("dog" "chases" "cat" "+")
triple3
The dog eats the cat.
("dog" "eats" "cat" "+")
triple4
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple5
The lion is not cold.
("lion" "is" "cold" "-")
triple6
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple7