The cow chases the squirrel. The cow is big. The cow is red. The cow likes the dog. The cow visits the rabbit. The dog chases the cow. The dog chases the rabbit. The dog is big. The dog is kind. The dog does not like the cow. The dog likes the rabbit. The dog does not visit the cow. The rabbit chases the cow. The rabbit is rough. The squirrel visits the cow. If the cow is rough and the cow is not big then the cow does not visit the dog. If someone chases the rabbit then they visit the dog. If someone visits the squirrel then the squirrel visits the rabbit. If someone likes the cow and they are kind then the cow chases the rabbit. If someone likes the cow and the cow likes the rabbit then the rabbit does not like the squirrel. If someone likes the cow then the cow is not rough.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog does not visit the cow.
("dog" "visits" "cow" "-")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If the cow is rough and the cow is not big then the cow does not visit the dog.
((("cow" "is" "rough" "+") ("cow" "is" "big" "~")) -> ("cow" "visits" "dog" "-"))
If someone chases the rabbit then they visit the dog.
((("someone" "chases" "rabbit" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the squirrel then the squirrel visits the rabbit.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "rabbit" "+"))
If someone likes the cow and they are kind then the cow chases the rabbit.
((("someone" "likes" "cow" "+") ("someone" "is" "kind" "+")) -> ("cow" "chases" "rabbit" "+"))
If someone likes the cow and the cow likes the rabbit then the rabbit does not like the squirrel.
((("someone" "likes" "cow" "+") ("cow" "likes" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "-"))
If someone likes the cow then the cow is not rough.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "rough" "-"))
The dog does not visit the cow.
True
1
proof
[(triple12)]
("dog" "visits" "cow" "-")
triple12
The cow is not big.
False
1
inv-proof
[(triple2)]
("cow" "is" "big" "-")
triple2
The dog visits the dog.
True
2
proof
[(((triple7) -> rule2))]
("dog" "visits" "dog" "+")
((triple7) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog does not visit the dog.
False
2
inv-proof
[(((triple7) -> rule2))]
("dog" "visits" "dog" "-")
((triple7) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The rabbit does not visit the dog.
Unknown
inv-rconc
[@1: The rabbit visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "visits" "dog" "-")
The squirrel visits the dog.
Unknown
rconc
[@1: The squirrel visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "dog" "+")
The rabbit does not visit the cow.
Unknown
inv-random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "-")
The squirrel likes the cow.
Unknown
random
[@0: The squirrel likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cow" "+")
@0: The cow chases the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is red.[(triple3)] The cow likes the dog.[(triple4)] The cow visits the rabbit.[(triple5)] The dog chases the cow.[(triple6)] The dog chases the rabbit.[(triple7)] The dog does not like the cow.[(triple10)] The dog does not visit the cow.[(triple12)] The dog is big.[(triple8)] The dog is kind.[(triple9)] The dog likes the rabbit.[(triple11)] The rabbit chases the cow.[(triple13)] The rabbit is rough.[(triple14)] The squirrel visits the cow.[(triple15)] @1: The dog visits the dog.[(((triple7) -> rule2))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow likes the dog.
("cow" "likes" "dog" "+")
triple4
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple7
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple10
The dog does not visit the cow.
("dog" "visits" "cow" "-")
triple12
The dog is big.
("dog" "is" "big" "+")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple11
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple13
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple15
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple7) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1