The cat is not kind. The cat does not like the dog. The cat sees the dog. The cat does not visit the dog. The dog does not like the cat. The dog does not see the cat. The dog visits the cat. If someone sees the dog and the dog is not cold then they like the cat. If the cat likes the dog and the cat visits the dog then the dog is not red.
The cat is not kind.
("cat" "is" "kind" "-")
The cat does not like the dog.
("cat" "likes" "dog" "-")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat does not visit the dog.
("cat" "visits" "dog" "-")
The dog does not like the cat.
("dog" "likes" "cat" "-")
The dog does not see the cat.
("dog" "sees" "cat" "-")
The dog visits the cat.
("dog" "visits" "cat" "+")
If someone sees the dog and the dog is not cold then they like the cat.
((("someone" "sees" "dog" "+") ("dog" "is" "cold" "~")) -> ("someone" "likes" "cat" "+"))
If the cat likes the dog and the cat visits the dog then the dog is not red.
((("cat" "likes" "dog" "+") ("cat" "visits" "dog" "+")) -> ("dog" "is" "red" "-"))
The cat sees the dog.
True
1
proof
[(triple3)]
("cat" "sees" "dog" "+")
triple3
The dog likes the cat.
False
1
inv-proof
[(triple5)]
("dog" "likes" "cat" "+")
triple5
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "cat" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat does not like the dog.[(triple2)] The cat does not visit the dog.[(triple4)] The cat is not kind.[(triple1)] The cat sees the dog.[(triple3)] The dog does not like the cat.[(triple5)] The dog does not see the cat.[(triple6)] The dog visits the cat.[(triple7)]
The cat does not like the dog.
("cat" "likes" "dog" "-")
triple2
The cat does not visit the dog.
("cat" "visits" "dog" "-")
triple4
The cat is not kind.
("cat" "is" "kind" "-")
triple1
The cat sees the dog.
("cat" "sees" "dog" "+")
triple3
The dog does not like the cat.
("dog" "likes" "cat" "-")
triple5
The dog does not see the cat.
("dog" "sees" "cat" "-")
triple6
The dog visits the cat.
("dog" "visits" "cat" "+")
triple7