The cat does not chase the dog. The cat eats the dog. The cat is green. The cat is round. The cat likes the dog. The dog chases the cat. The dog does not eat the cat. The dog is green. The dog is kind. The dog is nice. The dog is not round. The dog does not like the cat. If someone is round then they eat the cat. If someone is round and they do not eat the dog then the dog is green. If the cat is round and the cat is not kind then the cat does not like the dog. If someone eats the cat and the cat eats the dog then they do not chase the dog. If someone is round and kind then they do not chase the cat. If the dog likes the cat and the dog is not green then the cat is not blue.
The cat does not chase the dog.
("cat" "chases" "dog" "-")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog does not eat the cat.
("dog" "eats" "cat" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog does not like the cat.
("dog" "likes" "cat" "-")
If someone is round then they eat the cat.
((("someone" "is" "round" "+")) -> ("someone" "eats" "cat" "+"))
If someone is round and they do not eat the dog then the dog is green.
((("someone" "is" "round" "+") ("someone" "eats" "dog" "~")) -> ("dog" "is" "green" "+"))
If the cat is round and the cat is not kind then the cat does not like the dog.
((("cat" "is" "round" "+") ("cat" "is" "kind" "~")) -> ("cat" "likes" "dog" "-"))
If someone eats the cat and the cat eats the dog then they do not chase the dog.
((("someone" "eats" "cat" "+") ("cat" "eats" "dog" "+")) -> ("someone" "chases" "dog" "-"))
If someone is round and kind then they do not chase the cat.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "chases" "cat" "-"))
If the dog likes the cat and the dog is not green then the cat is not blue.
((("dog" "likes" "cat" "+") ("dog" "is" "green" "~")) -> ("cat" "is" "blue" "-"))
The cat eats the dog.
True
1
proof
[(triple2)]
("cat" "eats" "dog" "+")
triple2
The dog eats the cat.
False
1
inv-proof
[(triple7)]
("dog" "eats" "cat" "+")
triple7
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The cat does not chase the dog.[(triple1 OR ((((triple4) -> rule1) triple2) -> rule4))] The cat eats the dog.[(triple2)] The cat is green.[(triple3)] The cat is round.[(triple4)] The cat likes the dog.[(triple5)] The dog chases the cat.[(triple6)] The dog does not eat the cat.[(triple7)] The dog does not like the cat.[(triple12)] The dog is green.[(triple8)] The dog is kind.[(triple9)] The dog is nice.[(triple10)] The dog is not round.[(triple11)] @1: The cat eats the cat.[(((triple4) -> rule1))]
The cat does not chase the dog.
("cat" "chases" "dog" "-")
triple1
((((triple4) -> (rule1 % int2)) triple2) -> (rule4 % int1))
The cat does not chase the dog.
("cat" "chases" "dog" "-")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat likes the dog.
("cat" "likes" "dog" "+")
triple5
The dog chases the cat.
("dog" "chases" "cat" "+")
triple6
The dog does not eat the cat.
("dog" "eats" "cat" "-")
triple7
The dog does not like the cat.
("dog" "likes" "cat" "-")
triple12
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple10
The dog is not round.
("dog" "is" "round" "-")
triple11
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple4) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1