The cat chases the rabbit. The cat is red. The cat is rough. The cow eats the tiger. The cow is big. The cow needs the rabbit. The rabbit chases the cat. The rabbit eats the cat. The rabbit is green. The tiger chases the cat. The tiger chases the rabbit. The tiger eats the cat. The tiger eats the cow. The tiger eats the rabbit. The tiger is green. The tiger is rough. If something is red and rough then it eats the cat. If something needs the rabbit then it needs the tiger. If something is blue then it chases the rabbit. If something eats the cow and the cow chases the rabbit then the cow eats the tiger. If the cat needs the tiger and the cat needs the cow then the cow is green. If the tiger is big and the tiger is rough then the tiger eats the cow. If the cow is red and the cow eats the cat then the cow needs the cat. If something is rough then it eats the tiger.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If something is red and rough then it eats the cat.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "cat" "+"))
If something needs the rabbit then it needs the tiger.
((("something" "needs" "rabbit" "+")) -> ("something" "needs" "tiger" "+"))
If something is blue then it chases the rabbit.
((("something" "is" "blue" "+")) -> ("something" "chases" "rabbit" "+"))
If something eats the cow and the cow chases the rabbit then the cow eats the tiger.
((("something" "eats" "cow" "+") ("cow" "chases" "rabbit" "+")) -> ("cow" "eats" "tiger" "+"))
If the cat needs the tiger and the cat needs the cow then the cow is green.
((("cat" "needs" "tiger" "+") ("cat" "needs" "cow" "+")) -> ("cow" "is" "green" "+"))
If the tiger is big and the tiger is rough then the tiger eats the cow.
((("tiger" "is" "big" "+") ("tiger" "is" "rough" "+")) -> ("tiger" "eats" "cow" "+"))
If the cow is red and the cow eats the cat then the cow needs the cat.
((("cow" "is" "red" "+") ("cow" "eats" "cat" "+")) -> ("cow" "needs" "cat" "+"))
If something is rough then it eats the tiger.
((("something" "is" "rough" "+")) -> ("something" "eats" "tiger" "+"))
The rabbit chases the cat.
True
1
proof
[(triple7)]
("rabbit" "chases" "cat" "+")
triple7
The cow is not big.
False
1
inv-proof
[(triple5)]
("cow" "is" "big" "-")
triple5
The rabbit does not eat the tiger.
Unknown
inv-rconc
[@1: The rabbit eats the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "eats" "tiger" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cat chases the rabbit.[(triple1)] The cat is red.[(triple2)] The cat is rough.[(triple3)] The cow eats the tiger.[(triple4)] The cow is big.[(triple5)] The cow needs the rabbit.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit eats the cat.[(triple8)] The rabbit is green.[(triple9)] The tiger chases the cat.[(triple10)] The tiger chases the rabbit.[(triple11)] The tiger eats the cat.[(triple12)] The tiger eats the cow.[(triple13)] The tiger eats the rabbit.[(triple14)] The tiger is green.[(triple15)] The tiger is rough.[(triple16)] @1: The cat eats the cat.[(((triple2 triple3) -> rule1))] The cat eats the tiger.[(((triple3) -> rule8))] The cow needs the tiger.[(((triple6) -> rule2))] The tiger eats the tiger.[(((triple16) -> rule8))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple4
The cow is big.
("cow" "is" "big" "+")
triple5
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple6
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple7
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple10
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple11
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple12
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple13
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple14
The tiger is green.
("tiger" "is" "green" "+")
triple15
The tiger is rough.
("tiger" "is" "rough" "+")
triple16
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple2 triple3) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
((triple3) -> (rule8 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
((triple6) -> (rule2 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple16) -> (rule8 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1