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