The cow chases the dog. The cow chases the rabbit. The cow is green. The cow is red. The cow is round. The cow likes the rabbit. The cow visits the dog. The dog chases the cow. The dog chases the rabbit. The dog is big. The dog likes the cow. The dog visits the rabbit. The rabbit chases the dog. The rabbit is nice. The rabbit is round. If someone is big then they visit the dog. If someone likes the dog then they visit the cow.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
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 likes the cow.
("dog" "likes" "cow" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If someone is big then they visit the dog.
((("someone" "is" "big" "+")) -> ("someone" "visits" "dog" "+"))
If someone likes the dog then they visit the cow.
((("someone" "likes" "dog" "+")) -> ("someone" "visits" "cow" "+"))
The cow chases the rabbit.
True
1
proof
[(triple2)]
("cow" "chases" "rabbit" "+")
triple2
The rabbit is not nice.
False
1
inv-proof
[(triple14)]
("rabbit" "is" "nice" "-")
triple14
The rabbit does not visit the dog.
Unknown
inv-rconc
[@1: The rabbit visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "dog" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The cow chases the dog.[(triple1)] The cow chases the rabbit.[(triple2)] The cow is green.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow likes the rabbit.[(triple6)] The cow visits the dog.[(triple7)] The dog chases the cow.[(triple8)] The dog chases the rabbit.[(triple9)] The dog is big.[(triple10)] The dog likes the cow.[(triple11)] The dog visits the rabbit.[(triple12)] The rabbit chases the dog.[(triple13)] The rabbit is nice.[(triple14)] The rabbit is round.[(triple15)] @1: The dog visits the dog.[(((triple10) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple6
The cow visits the dog.
("cow" "visits" "dog" "+")
triple7
The dog chases the cow.
("dog" "chases" "cow" "+")
triple8
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple9
The dog is big.
("dog" "is" "big" "+")
triple10
The dog likes the cow.
("dog" "likes" "cow" "+")
triple11
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple12
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple13
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple14
The rabbit is round.
("rabbit" "is" "round" "+")
triple15
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple10) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1