The cat eats the rabbit. The cat is not rough. The cat likes the dog. The cat does not see the dog. The dog is big. The dog does not see the rabbit. The rabbit does not eat the dog. If something eats the dog and it is not big then it does not like the cat. If the cat does not see the rabbit then the cat eats the rabbit. If something eats the cat then it is red.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat does not see the dog.
("cat" "sees" "dog" "-")
The dog is big.
("dog" "is" "big" "+")
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
If something eats the dog and it is not big then it does not like the cat.
((("something" "eats" "dog" "+") ("something" "is" "big" "~")) -> ("something" "likes" "cat" "-"))
If the cat does not see the rabbit then the cat eats the rabbit.
((("cat" "sees" "rabbit" "~")) -> ("cat" "eats" "rabbit" "+"))
If something eats the cat then it is red.
((("something" "eats" "cat" "+")) -> ("something" "is" "red" "+"))
The dog is big.
True
1
proof
[(triple5)]
("dog" "is" "big" "+")
triple5
The cat does not like the dog.
False
1
inv-proof
[(triple3)]
("cat" "likes" "dog" "-")
triple3
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "red" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The cat does not see the dog.[(triple4)] The cat eats the rabbit.[(triple1)] The cat is not rough.[(triple2)] The cat likes the dog.[(triple3)] The dog does not see the rabbit.[(triple6)] The dog is big.[(triple5)] The rabbit does not eat the dog.[(triple7)]
The cat does not see the dog.
("cat" "sees" "dog" "-")
triple4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat is not rough.
("cat" "is" "rough" "-")
triple2
The cat likes the dog.
("cat" "likes" "dog" "+")
triple3
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
triple6
The dog is big.
("dog" "is" "big" "+")
triple5
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
triple7