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