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