The cow chases the rabbit. The cow is not cold. The cow is nice. The dog is round. The dog needs the rabbit. The rabbit needs the cow. The rabbit does not see the cow. If someone needs the rabbit and the rabbit is nice then they do not chase the dog. If someone sees the cow and they need the cow then they chase the dog. If someone sees the rabbit then the rabbit is cold. If someone needs the dog and the dog sees the cow then the dog chases the cow. If the cow does not need the rabbit then the rabbit is green. If the dog is green then the dog sees the cow.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is not cold.
("cow" "is" "cold" "-")
The cow is nice.
("cow" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit does not see the cow.
("rabbit" "sees" "cow" "-")
If someone needs the rabbit and the rabbit is nice then they do not chase the dog.
((("someone" "needs" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("someone" "chases" "dog" "-"))
If someone sees the cow and they need the cow then they chase the dog.
((("someone" "sees" "cow" "+") ("someone" "needs" "cow" "+")) -> ("someone" "chases" "dog" "+"))
If someone sees the rabbit then the rabbit is cold.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
If someone needs the dog and the dog sees the cow then the dog chases the cow.
((("someone" "needs" "dog" "+") ("dog" "sees" "cow" "+")) -> ("dog" "chases" "cow" "+"))
If the cow does not need the rabbit then the rabbit is green.
((("cow" "needs" "rabbit" "~")) -> ("rabbit" "is" "green" "+"))
If the dog is green then the dog sees the cow.
((("dog" "is" "green" "+")) -> ("dog" "sees" "cow" "+"))
The rabbit does not see the cow.
True
1
proof
[(triple7)]
("rabbit" "sees" "cow" "-")
triple7
The rabbit does not need the cow.
False
1
inv-proof
[(triple6)]
("rabbit" "needs" "cow" "-")
triple6
The rabbit does not chase the dog.
Unknown
inv-rconc
[@1: The rabbit chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "dog" "-")
The cow needs the rabbit.
Unknown
random
[@0: The cow needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "rabbit" "+")
@0: The cow chases the rabbit.[(triple1)] The cow is nice.[(triple3)] The cow is not cold.[(triple2)] The dog is round.[(triple4)] The dog needs the rabbit.[(triple5)] The rabbit does not see the cow.[(triple7)] The rabbit needs the cow.[(triple6)]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is not cold.
("cow" "is" "cold" "-")
triple2
The dog is round.
("dog" "is" "round" "+")
triple4
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple5
The rabbit does not see the cow.
("rabbit" "sees" "cow" "-")
triple7
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple6