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