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