The cat chases the cow. The cat likes the cow. The cat does not like the lion. The cow does not eat the cat. The cow is green. The cow is red. The cow likes the cat. The lion chases the cat. The lion chases the cow. The lion eats the cat. The lion eats the cow. The lion is green. The lion is nice. The lion is not red. The lion likes the cat. The lion likes the cow. If someone chases the cat and they are not big then the cat does not like the cow. If someone eats the cow then they do not chase the lion.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat does not like the lion.
("cat" "likes" "lion" "-")
The cow does not eat the cat.
("cow" "eats" "cat" "-")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
If someone chases the cat and they are not big then the cat does not like the cow.
((("someone" "chases" "cat" "+") ("someone" "is" "big" "~")) -> ("cat" "likes" "cow" "-"))
If someone eats the cow then they do not chase the lion.
((("someone" "eats" "cow" "+")) -> ("someone" "chases" "lion" "-"))
The lion likes the cow.
True
1
proof
[(triple16)]
("lion" "likes" "cow" "+")
triple16
The lion does not chase the cat.
False
1
inv-proof
[(triple8)]
("lion" "chases" "cat" "-")
triple8
The lion does not chase the lion.
True
2
proof
[(((triple11) -> rule2))]
("lion" "chases" "lion" "-")
((triple11) -> (rule2 % int1))
The lion does not chase the lion.
("lion" "chases" "lion" "-")
int1
The lion chases the lion.
False
2
inv-proof
[(((triple11) -> rule2))]
("lion" "chases" "lion" "+")
((triple11) -> (rule2 % int1))
The lion does not chase the lion.
("lion" "chases" "lion" "-")
int1
The cat is not nice.
Unknown
inv-random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
The cat does not chase the lion.
Unknown
inv-random
[@0: The cat chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "lion" "-")
The cat eats the lion.
Unknown
random
[@0: The cat eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "lion" "+")
@0: The cat chases the cow.[(triple1)] The cat does not like the lion.[(triple3)] The cat likes the cow.[(triple2)] The cow does not eat the cat.[(triple4)] The cow is green.[(triple5)] The cow is red.[(triple6)] The cow likes the cat.[(triple7)] The lion chases the cat.[(triple8)] The lion chases the cow.[(triple9)] The lion eats the cat.[(triple10)] The lion eats the cow.[(triple11)] The lion is green.[(triple12)] The lion is nice.[(triple13)] The lion is not red.[(triple14)] The lion likes the cat.[(triple15)] The lion likes the cow.[(triple16)] @1: The lion does not chase the lion.[(((triple11) -> rule2))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat does not like the lion.
("cat" "likes" "lion" "-")
triple3
The cat likes the cow.
("cat" "likes" "cow" "+")
triple2
The cow does not eat the cat.
("cow" "eats" "cat" "-")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow likes the cat.
("cow" "likes" "cat" "+")
triple7
The lion chases the cat.
("lion" "chases" "cat" "+")
triple8
The lion chases the cow.
("lion" "chases" "cow" "+")
triple9
The lion eats the cat.
("lion" "eats" "cat" "+")
triple10
The lion eats the cow.
("lion" "eats" "cow" "+")
triple11
The lion is green.
("lion" "is" "green" "+")
triple12
The lion is nice.
("lion" "is" "nice" "+")
triple13
The lion is not red.
("lion" "is" "red" "-")
triple14
The lion likes the cat.
("lion" "likes" "cat" "+")
triple15
The lion likes the cow.
("lion" "likes" "cow" "+")
triple16
The lion does not chase the lion.
("lion" "chases" "lion" "-")
((triple11) -> (rule2 % int1))
The lion does not chase the lion.
("lion" "chases" "lion" "-")
int1