The cat does not eat the dog. The cat is cold. The cat is nice. The cat is rough. The cat needs the dog. The dog chases the cat. The dog is not cold. If something is cold then it chases the dog. If something eats the cat then the cat is nice. If something eats the dog then the dog is cold.
The cat does not eat the dog.
("cat" "eats" "dog" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is not cold.
("dog" "is" "cold" "-")
If something is cold then it chases the dog.
((("something" "is" "cold" "+")) -> ("something" "chases" "dog" "+"))
If something eats the cat then the cat is nice.
((("something" "eats" "cat" "+")) -> ("cat" "is" "nice" "+"))
If something eats the dog then the dog is cold.
((("something" "eats" "dog" "+")) -> ("dog" "is" "cold" "+"))
The cat does not eat the dog.
True
1
proof
[(triple1)]
("cat" "eats" "dog" "-")
triple1
The cat is not rough.
False
1
inv-proof
[(triple4)]
("cat" "is" "rough" "-")
triple4
The cat chases the dog.
True
2
proof
[(((triple2) -> rule1))]
("cat" "chases" "dog" "+")
((triple2) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat does not chase the dog.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "chases" "dog" "-")
((triple2) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "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 is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog needs the cat.
Unknown
random
[@0: The dog needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cat" "+")
@0: The cat does not eat the dog.[(triple1)] The cat is cold.[(triple2)] The cat is nice.[(triple3)] The cat is rough.[(triple4)] The cat needs the dog.[(triple5)] The dog chases the cat.[(triple6)] The dog is not cold.[(triple7)] @1: The cat chases the dog.[(((triple2) -> rule1))]
The cat does not eat the dog.
("cat" "eats" "dog" "-")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat needs the dog.
("cat" "needs" "dog" "+")
triple5
The dog chases the cat.
("dog" "chases" "cat" "+")
triple6
The dog is not cold.
("dog" "is" "cold" "-")
triple7
The cat chases the dog.
("cat" "chases" "dog" "+")
((triple2) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1