The cat chases the dog. The cat is big. The cat is cold. The cat is green. The cat is kind. The cat is young. The cat likes the dog. The cat needs the dog. The dog chases the cat. The dog is big. The dog is not cold. The dog is green. The dog is not kind. The dog is young. The dog likes the cat. The dog needs the cat. If someone is kind and they do not chase the cat then they need the dog.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
If someone is kind and they do not chase the cat then they need the dog.
((("someone" "is" "kind" "+") ("someone" "chases" "cat" "~")) -> ("someone" "needs" "dog" "+"))
The dog is not cold.
True
1
proof
[(triple11)]
("dog" "is" "cold" "-")
triple11
The dog is kind.
False
1
inv-proof
[(triple13)]
("dog" "is" "kind" "+")
triple13
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The cat chases the dog.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is kind.[(triple5)] The cat is young.[(triple6)] The cat likes the dog.[(triple7)] The cat needs the dog.[(triple8)] The dog chases the cat.[(triple9)] The dog is big.[(triple10)] The dog is green.[(triple12)] The dog is not cold.[(triple11)] The dog is not kind.[(triple13)] The dog is young.[(triple14)] The dog likes the cat.[(triple15)] The dog needs the cat.[(triple16)]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is kind.
("cat" "is" "kind" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat likes the dog.
("cat" "likes" "dog" "+")
triple7
The cat needs the dog.
("cat" "needs" "dog" "+")
triple8
The dog chases the cat.
("dog" "chases" "cat" "+")
triple9
The dog is big.
("dog" "is" "big" "+")
triple10
The dog is green.
("dog" "is" "green" "+")
triple12
The dog is not cold.
("dog" "is" "cold" "-")
triple11
The dog is not kind.
("dog" "is" "kind" "-")
triple13
The dog is young.
("dog" "is" "young" "+")
triple14
The dog likes the cat.
("dog" "likes" "cat" "+")
triple15
The dog needs the cat.
("dog" "needs" "cat" "+")
triple16