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