The cat is rough. The cow does not eat the tiger. The dog chases the cow. The dog chases the tiger. The dog visits the tiger. The tiger is blue. The tiger visits the dog. If the cow eats the tiger and the tiger is blue then the tiger eats the cat. If someone chases the cow and the cow chases the dog then the dog does not chase the cow.
The cat is rough.
("cat" "is" "rough" "+")
The cow does not eat the tiger.
("cow" "eats" "tiger" "-")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If the cow eats the tiger and the tiger is blue then the tiger eats the cat.
((("cow" "eats" "tiger" "+") ("tiger" "is" "blue" "+")) -> ("tiger" "eats" "cat" "+"))
If someone chases the cow and the cow chases the dog then the dog does not chase the cow.
((("someone" "chases" "cow" "+") ("cow" "chases" "dog" "+")) -> ("dog" "chases" "cow" "-"))
The dog visits the tiger.
True
1
proof
[(triple5)]
("dog" "visits" "tiger" "+")
triple5
The tiger is not blue.
False
1
inv-proof
[(triple6)]
("tiger" "is" "blue" "-")
triple6
The tiger does not eat the cat.
Unknown
inv-rconc
[@1: The tiger eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "cat" "-")
The cow chases the cat.
Unknown
random
[@0: The cow chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cat" "+")
@0: The cat is rough.[(triple1)] The cow does not eat the tiger.[(triple2)] The dog chases the cow.[(triple3)] The dog chases the tiger.[(triple4)] The dog visits the tiger.[(triple5)] The tiger is blue.[(triple6)] The tiger visits the dog.[(triple7)]
The cat is rough.
("cat" "is" "rough" "+")
triple1
The cow does not eat the tiger.
("cow" "eats" "tiger" "-")
triple2
The dog chases the cow.
("dog" "chases" "cow" "+")
triple3
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple4
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple5
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple7