The cow chases the dog. The cow eats the tiger. The cow needs the rabbit. The dog eats the cow. The dog eats the rabbit. The rabbit chases the tiger. The rabbit eats the cow. The rabbit eats the dog. The rabbit needs the cow. The rabbit needs the tiger. The tiger is blue. The tiger is young. If something eats the dog and it is nice then it chases the tiger. If something chases the cow then it needs the cow.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something eats the dog and it is nice then it chases the tiger.
((("something" "eats" "dog" "+") ("something" "is" "nice" "+")) -> ("something" "chases" "tiger" "+"))
If something chases the cow then it needs the cow.
((("something" "chases" "cow" "+")) -> ("something" "needs" "cow" "+"))
The cow needs the rabbit.
True
1
proof
[(triple3)]
("cow" "needs" "rabbit" "+")
triple3
The tiger is not young.
False
1
inv-proof
[(triple12)]
("tiger" "is" "young" "-")
triple12
The dog does not need the cow.
Unknown
inv-rconc
[@1: The dog needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "cow" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The cow chases the dog.[(triple1)] The cow eats the tiger.[(triple2)] The cow needs the rabbit.[(triple3)] The dog eats the cow.[(triple4)] The dog eats the rabbit.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit eats the cow.[(triple7)] The rabbit eats the dog.[(triple8)] The rabbit needs the cow.[(triple9)] The rabbit needs the tiger.[(triple10)] The tiger is blue.[(triple11)] The tiger is young.[(triple12)]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple3
The dog eats the cow.
("dog" "eats" "cow" "+")
triple4
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple5
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple6
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple7
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple8
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple9
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12